{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":")"}]}
    ) -> InferResult<'tcx, ()> {
        variables2: impl Fn(BoundVar) -> GenericArg<'tcx>,
        let mut obligations = PredicateObligations::new();