{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"//"}]}
                // start out as an unconstrained inference variable so any aliases get
                // It is correct as both `goal.predicate.term` and `unconstrained_rhs`
                // fully normalized when instantiating it.