mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-16 04:55:22 +03:00
72d17bfebb
There's an existing fast path for the `type_op_prove_predicate` predicate, checking for trivially `Sized` types, which can be re-used when evaluating obligations within queries. This should improve performance, particularly in anticipation of new sizedness traits being added which can take advantage of this.