{"ast_node_type":"import","tokens":[{"end":82,"kind":"keyword","start":0,"text":"///"}]}
    /// that are unconstrained. This can happen because an otherwise unconstrained
    /// Check that elaborating the principal of a trait ref doesn't lead to projections
    /// *type variable* can be substituted with a type that has late-bound regions. See