Function mir_body_query 

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