{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
    /// where all opaque types and default associated items are revealed.
    /// Create a typing environment with no where-clauses in scope
    ///