Function body_param_env_from_has_crate 

pub(crate) fn body_param_env_from_has_crate<'db>(
    db: &'db dyn HirDatabase,
    id: impl HasModule + Into<ExpressionStoreOwnerId> + Copy,
) -> ParamEnvAndCrate<'db>