{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"assert!(!expected_sig.sig.skip_binder().has_vars_bound_above(ty::INNERMOST));"}]}
        assert!(!expected_sig.sig.skip_binder().has_vars_bound_above(ty::INNERMOST));
        // in this binder we are creating.
        let bound_sig = expected_sig.sig.map_bound(|sig| {