{"ast_node_type":"variable","tokens":[{"end":41,"kind":"keyword","start":0,"text":"let"}]}
                let (a, b) = match atom {
                // coercion and subtyping.
                    ty::PredicateKind::Coerce(ty::CoercePredicate { a, b }) => (a, b),