Function mir_body_query 

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