about summary refs log tree commit diff
path: root/compiler/rustc_parse/src/errors.rs
diff options
context:
space:
mode:
authorManish Goregaokar <manishsmail@gmail.com>2022-11-11 12:12:28 -0500
committerGitHub <noreply@github.com>2022-11-11 12:12:28 -0500
commit76ce198128c136cf908a4dfb1146489ae4ae7db3 (patch)
treeb105de94b1f8c6a11cf3af02f46ea6242ffd6aa4 /compiler/rustc_parse/src/errors.rs
parentcd30ccf9744a09fb4fd7d63703a3f29899a5e88d (diff)
parentfea8d0eb999dbe732a70cd61518d79195c139b2c (diff)
downloadrust-76ce198128c136cf908a4dfb1146489ae4ae7db3.tar.gz
rust-76ce198128c136cf908a4dfb1146489ae4ae7db3.zip
Rollup merge of #100386 - compiler-errors:sized-coinductive-redux, r=lcnr
Make `Sized` coinductive, again

A revival of #83647

---

What exactly makes co-induction sound? Better question: are there any unsoundness risks from this? `Sized` can't be implemented by custom `impl` blocks, nor can it be conditionally implemented based on anything other than child fields being `Sized`, right?

r? `@nikomatsakis` for whenever he gets back from vacation
Diffstat (limited to 'compiler/rustc_parse/src/errors.rs')
0 files changed, 0 insertions, 0 deletions