{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"TypeError::RegionsPlaceholderMismatch"}]}
            TypeError::RegionsPlaceholderMismatch => {
            }
                "one type is more general than the other".into()