{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
                // FIXME: Add an assertion that opaque type storage is empty.
            TypingMode::PostAnalysis => {
                let actual = cx.type_of(opaque_ty.def_id).instantiate(cx, opaque_ty.args);