{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"///"}]}
    /// different). If we do nothing else, this may mean that `?D` goes unconstrained
    /// relationship between `?B` and `?D` (after all, these types may be completely
    /// (as in #41677). To avoid this we emit a `WellFormed` obligation in these cases.