Function mir_body_query 

pub fn mir_body_query<'db>(
    db: &'db dyn HirDatabase,
    def: InferBodyId<'db>,
) -> <Result<MirBody<'db>, MirLowerError<'db>> as SalsaAsRef>::AsRef<'db>