{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"ambient_variance,"}]}
            ambient_variance,
            define_opaque_types,
            obligations: PredicateObligations::new(),