pub trait HasLocalDecls<'tcx> { // Required method fn local_decls(&self) -> &IndexSlice<Local, LocalDecl<'tcx>>; }