{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"Misc,"}]}
    Misc,
enum CurrentGoalKind {
    /// We're proving an trait goal for a coinductive trait, either an auto trait or `Sized`.