{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"//"}]}
        // in this binder we are creating.
        // regions appearing free in `expected_sig` are now bound up
        assert!(!expected_sig.sig.skip_binder().has_vars_bound_above(ty::INNERMOST));