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>)

pub 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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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