{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
// we really truly are elaborating clauses that have `ty` as their self type.
// Make sure when elaborating supertraits, probing for associated types, etc.,
// This is very important since downstream code relies on this being correct.