diff options
| author | bors <bors@rust-lang.org> | 2023-02-19 02:42:10 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-02-19 02:42:10 +0000 |
| commit | fcdbd1c07f0b6c8e7d8bbd727c6ca69a1af8c7e9 (patch) | |
| tree | 8f40f2a535117ab02001953bb2028f22ed89c898 /tests/rustdoc-js-std/parser-errors.js | |
| parent | f77f4d55bdf9d8955d3292f709bd9830c2fdeca5 (diff) | |
| parent | 6402c98621ab620a16adac072abc10779cf60573 (diff) | |
| download | rust-fcdbd1c07f0b6c8e7d8bbd727c6ca69a1af8c7e9.tar.gz | |
Auto merge of #107867 - compiler-errors:new-solver-fn-trait-safety, r=lcnr
Check that built-in callable types validate their output type is `Sized` (in new solver)
Working on parity with old solver. Putting this up for consideration, it's not *really* needed or anything just yet. Maybe it's better to approach this from another direction (like always checking the item bounds when calling `consider_assumption`? we may need that for coinduction to be sound though?)
This basically implements #100096 for the new solver.
Diffstat (limited to 'tests/rustdoc-js-std/parser-errors.js')
0 files changed, 0 insertions, 0 deletions