{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"//"}]}
            // it must.
            // that if a value of some type could implement `Copy`, then
            self.prove_trait_ref(trait_ref, location.to_locations(), ConstraintCategory::CopyBound);