mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
cc6cff564f
rust/compiler/rustc_typeck
History
Dylan DPC caac670a16
Rollup merge of #100247 - cjgillot:verify-dyn-trait-alias-defaults, r=lcnr 
Generalize trait object generic param check to aliases.

The current algorithm only checks that `Self` does not appear in defaults for traits.  This is not sufficient for trait aliases.
This PR moves the check to trait object elaboration, which sees through trait aliases.

Fixes https://github.com/rust-lang/rust/issues/82927.
Fixes https://github.com/rust-lang/rust/issues/84789.
2022-08-12 20:39:12 +05:30
..
src Rollup merge of #100247 - cjgillot:verify-dyn-trait-alias-defaults, r=lcnr 2022-08-12 20:39:12 +05:30
Cargo.toml Improve error message for unstable default body 2022-07-26 15:40:04 +04:00
README.md

README.md

For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.