{"ast_node_type":"variable","tokens":[{"end":60,"kind":"keyword","start":0,"text":"let"}]}
            let term = match goal.predicate.alias.kind(cx) {
            // Finally we construct the actual value of the associated type.
                ty::AliasTermKind::ProjectionTy => {