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