fn mutability_of_locals<'db>( infcx: &InferCtxt<'db>, env: ParamEnv<'db>, body: &MirBody<'db>, ) -> ArenaMap<LocalId, MutabilityReason>