{"ast_node_type":"variable","tokens":[{"end":96,"kind":"keyword","start":0,"text":"if"}]}
                if let ty::Alias(ty::Opaque, ty::AliasTy { def_id: b_def_id, .. }) = *b.kind() {
                    // We could accept this, but there are various ways to handle this situation,