Struct rustc_interface::util::ReplaceBodyWithLoop

pub struct ReplaceBodyWithLoop<'a, 'b> {
    within_static_or_const: bool,
    nested_blocks: Option<Vec<Block>>,
    resolver: &'a mut Resolver<'b>,
}

Replaces function bodies with loop {} (an infinite loop). This gets rid of all semantic errors in the body while still satisfying the return type, except in certain cases, see below for more.

This pass is known as everybody_loops. Very punny.

As of March 2021, everybody_loops is only used for the -Z unpretty=everybody_loops debugging option.

FIXME: Currently the everybody_loops transformation is not applied to:

• const fn; support could be added, but hasn’t. Originally const fn was skipped due to issue #43636 that loop was not supported for const evaluation.
• impl Trait, due to issue #43869 that functions returning impl Trait cannot be diverging. Solving this may require ! to implement every trait, which relies on the an even more ambitious form of the closed RFC #1637. See also #34511.

Fields

within_static_or_const: bool

nested_blocks: Option<Vec<Block>>

resolver: &'a mut Resolver<'b>

Implementations

impl<'a, 'b> ReplaceBodyWithLoop<'a, 'b>

pub fn new(resolver: &'a mut Resolver<'b>) -> ReplaceBodyWithLoop<'a, 'b>

fn run<R, F: FnOnce(&mut Self) -> R>(&mut self, is_const: bool, action: F) -> R

fn should_ignore_fn(ret_ty: &FnRetTy) -> bool

fn is_sig_const(sig: &FnSig) -> bool

Trait Implementations

impl<'a> MutVisitor for ReplaceBodyWithLoop<'a, '_>

fn visit_item_kind(&mut self, i: &mut ItemKind)

fn flat_map_trait_item(
    &mut self,
    i: P<AssocItem>
) -> SmallVec<[P<AssocItem>; 1]>

fn flat_map_impl_item(&mut self, i: P<AssocItem>) -> SmallVec<[P<AssocItem>; 1]>

fn visit_anon_const(&mut self, c: &mut AnonConst)

fn visit_block(&mut self, b: &mut P<Block>)

fn token_visiting_enabled(&self) -> bool

Mutable token visiting only exists for the macro_rules token marker and should not be used otherwise. Token visitor would be entirely separate from the regular visitor if the marker didn’t have to visit AST fragments in nonterminal tokens.

fn visit_crate(&mut self, c: &mut Crate)

fn visit_meta_list_item(&mut self, list_item: &mut NestedMetaItem)

fn visit_meta_item(&mut self, meta_item: &mut MetaItem)

fn visit_use_tree(&mut self, use_tree: &mut UseTree)

fn flat_map_foreign_item(
    &mut self,
    ni: P<Item<ForeignItemKind>>
) -> SmallVec<[P<Item<ForeignItemKind>>; 1]>

fn flat_map_item(
    &mut self,
    i: P<Item<ItemKind>>
) -> SmallVec<[P<Item<ItemKind>>; 1]>

fn visit_fn_header(&mut self, header: &mut FnHeader)

fn flat_map_field_def(&mut self, fd: FieldDef) -> SmallVec<[FieldDef; 1]>

fn visit_fn_decl(&mut self, d: &mut P<FnDecl>)

fn visit_asyncness(&mut self, a: &mut Async)

fn flat_map_stmt(&mut self, s: Stmt) -> SmallVec<[Stmt; 1]>

fn flat_map_arm(&mut self, arm: Arm) -> SmallVec<[Arm; 1]>

fn visit_pat(&mut self, p: &mut P<Pat>)

fn visit_expr(&mut self, e: &mut P<Expr>)

fn filter_map_expr(&mut self, e: P<Expr>) -> Option<P<Expr>>

fn visit_generic_arg(&mut self, arg: &mut GenericArg)

fn visit_ty(&mut self, t: &mut P<Ty>)

fn visit_lifetime(&mut self, l: &mut Lifetime)

fn visit_ty_constraint(&mut self, t: &mut AssocTyConstraint)

fn visit_foreign_mod(&mut self, nm: &mut ForeignMod)

fn flat_map_variant(&mut self, v: Variant) -> SmallVec<[Variant; 1]>

fn visit_ident(&mut self, i: &mut Ident)

fn visit_path(&mut self, p: &mut Path)

fn visit_qself(&mut self, qs: &mut Option<QSelf>)

fn visit_generic_args(&mut self, p: &mut GenericArgs)

fn visit_angle_bracketed_parameter_data(&mut self, p: &mut AngleBracketedArgs)

fn visit_parenthesized_parameter_data(&mut self, p: &mut ParenthesizedArgs)

fn visit_local(&mut self, l: &mut P<Local>)

fn visit_mac_call(&mut self, mac: &mut MacCall)

fn visit_macro_def(&mut self, def: &mut MacroDef)

fn visit_label(&mut self, label: &mut Label)

fn visit_attribute(&mut self, at: &mut Attribute)

fn flat_map_param(&mut self, param: Param) -> SmallVec<[Param; 1]>

fn visit_generics(&mut self, generics: &mut Generics)

fn visit_trait_ref(&mut self, tr: &mut TraitRef)

fn visit_poly_trait_ref(&mut self, p: &mut PolyTraitRef)

fn visit_variant_data(&mut self, vdata: &mut VariantData)

fn flat_map_generic_param(
    &mut self,
    param: GenericParam
) -> SmallVec<[GenericParam; 1]>

fn visit_param_bound(&mut self, tpb: &mut GenericBound)

fn visit_mt(&mut self, mt: &mut MutTy)

fn flat_map_expr_field(&mut self, f: ExprField) -> SmallVec<[ExprField; 1]>

fn visit_where_clause(&mut self, where_clause: &mut WhereClause)

fn visit_where_predicate(&mut self, where_predicate: &mut WherePredicate)

fn visit_vis(&mut self, vis: &mut Visibility)

fn visit_id(&mut self, _id: &mut NodeId)

fn visit_span(&mut self, _sp: &mut Span)

fn flat_map_pat_field(&mut self, fp: PatField) -> SmallVec<[PatField; 1]>