pub fn monomorphized_mir_body_query(
    db: &dyn HirDatabase,
    owner: DefWithBodyId,
    subst: Substitution<Interner>,
    trait_env: Arc<TraitEnvironment>
) -> Result<Arc<MirBody>, MirLowerError>