tree d10da93f6049d90e456f045e926b71db0195905e
parent 393f4e8ac263d0debecb571bbab69bcf31474cdb
author River Riddle <riddleriver@gmail.com> 1582319943 -0800
committer River Riddle <riddleriver@gmail.com> 1582326931 -0800

[mlir][DeclarativeParser] Add support for the TypesMatchWith trait.

This allows for injecting type constraints that are not direct 1-1 mappings, for example when one type is equal to the element type of another. This allows for moving over several more parsers to the declarative form.

Differential Revision: https://reviews.llvm.org/D74648