{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
        // accept alias-relate goals where one of the terms is an error.
        // `{type error}` if the alias still contains infer vars, so we also
        debug_assert!(