{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"db.monomorphized_mir_body(s.into(),"}]}
            db.monomorphized_mir_body(s.into(), subst, TraitEnvironment::empty(krate))?
            let krate = s.module(db).krate();
        }