{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"bug!(\"encountered"}]}
                bug!("encountered a fresh type during canonicalization")
            ty::Infer(ty::FreshTy(_) | ty::FreshIntTy(_) | ty::FreshFloatTy(_)) => {
            }