{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"panic!(\"unexpected"}]}
                panic!("unexpected self type for `{goal:?}`")
            ty::Infer(ty::FreshTy(_) | ty::FreshIntTy(_) | ty::FreshFloatTy(_)) | ty::Bound(..) => {
            }