{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"match"}]}
        match self {
    fn only_has_type(&self, table: &mut unify::InferenceTable<'_>) -> Option<Ty> {
            Expectation::HasType(t) => Some(table.resolve_ty_shallow(t)),