{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"//"}]}
                    // Foreign opaque is considered inhabited.
                match alias_ty.def_id.as_local() {
                    None => InhabitedPredicate::True,