{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                (lt.clone(), *mt) // clone is probably not good?
            _ => return self.unify_and(&from_ty, to_ty, identity),