{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"///"}]}
    /// (as in #41677). To avoid this we emit a `WellFormed` obligation in these cases.
    /// different). If we do nothing else, this may mean that `?D` goes unconstrained
    pub has_unconstrained_ty_var: bool,