{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"//"}]}
    // Type-changing assignments can happen when subtyping is used. While
) -> bool {
    // all normal lifetimes are erased, higher-ranked types with their