{"ast_node_type":"other","tokens":[{"end":2,"kind":"keyword","start":0,"text":"};"}]}
};
    PredicateEmittingRelation, Relate, RelateResult, StructurallyRelateAliases, TypeRelation,
use crate::infer::type_variable::TypeVariableValue;