{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"AliasEq,"}]}
    AliasEq, AliasTy, BoundVar, Canonical, Const, ConstValue, DebruijnIndex, DomainGoal,
use crate::{
    GenericArg, GenericArgData, Goal, GoalData, Guidance, InEnvironment, InferenceVar, Interner,