diff options
| author | David Wood <david.wood2@arm.com> | 2025-04-12 21:09:38 +0000 |
|---|---|---|
| committer | David Wood <david.wood2@arm.com> | 2025-06-16 23:04:36 +0000 |
| commit | d531a84e51e116f7b193d2624037b936987ced07 (patch) | |
| tree | e6177a0d130f8c9105fe806c4596b14a8bc5fa64 /compiler/rustc_codegen_gcc | |
| parent | 607eb322a85c9c6dcc4af6999ecfc9d9d001be21 (diff) | |
| download | rust-d531a84e51e116f7b193d2624037b936987ced07.tar.gz rust-d531a84e51e116f7b193d2624037b936987ced07.zip | |
trait_sel: skip `nominal_obligations` for `Sized`
`nominal_obligations` calls `predicates_of` on a `Sized` obligation, effectively elaborating the trait and making the well-formedness checking machinery do a bunch of extra work checking a `MetaSized` obligation is well-formed, but given that both `Sized` and `MetaSized` are built-ins, if `Sized` is otherwise well-formed, so `MetaSized` will be.
Diffstat (limited to 'compiler/rustc_codegen_gcc')
0 files changed, 0 insertions, 0 deletions