{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
        /// rather than blaming the source of the constraint C.
        /// some constraint C, we want to blame the "source" of that `for` type,
        from_forall: bool,