syntax_data: {"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // `T: [const] Trait` implies `T: [const] Supertrait`.
context_before:             }
context_after:             ty::ClauseKind::HostEffect(data) => self.extend_deduped(