{"ast_node_type":"import","tokens":[{"end":64,"kind":"keyword","start":0,"text":"//"}]}
                    // implement, so we don't use this behavior.
                    // opaque types should be completely opaque apart from the traits that they
                    // Addendum: Moreover, revealing the underlying type is likely to cause cycle