{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"fr2:"}]}
        fr2: RegionVid,
        fr1_origin: NllRegionVariableOrigin,
    ) -> (ConstraintCategory<'tcx>, ObligationCause<'tcx>) {