hax_frontend_exporter::body::module

Function get_thir

source
pub fn get_thir<'tcx, S: UnderOwnerState<'tcx>>(
    did: RLocalDefId,
    s: &S,
) -> (Rc<Thir<'tcx>>, ExprId)