fn lookup_default_body_stability( tcx: TyCtxt<'_>, def_id: LocalDefId, ) -> Option<DefaultBodyStability>