A prototype of a proposed Rust trait matching algorithm.