{"ast_node_type":"impl","tokens":[{"end":56,"kind":"keyword","start":0,"text":"//"}]}
                // e.g. assigning `impl Copy := NotCopy`
                // An impossible opaque type bound is the only way this goal will fail
                self.add_item_bounds_for_hidden_type(