Auto merge of #139577 - davidtwco:sizedness-go-vroom, r=oli-obk

Browse Source

re-use `Sized` fast-path

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 and was found to be beneficial in #137944.

r? types

...

This commit is contained in:

bors 2025-04-14 19:54:27 +00:00

parent 5ab7e2ba8f cd593d4692

commit 7996517bae

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

Diff Content Not Available