{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"///"}]}
    /// of constraints produced by the MIR type check.
    /// The `outlives_constraints` and `type_tests` are an initial set
    pub(crate) fn new(