Allow trait methods to be called on concrete types in a const context - #68847

Merged

bors merged 16 commits into

rust-lang:masterfrom

ecstatic-morse:const-impl

Feb 20, 2020

Commits on Feb 19, 2020

Add `is_const_impl_raw` query
ecstatic-morse
committed
62ff11f
Const-check functions in a `const` impl
ecstatic-morse
committed
3e0b060
Remove "not yet implemented" warning
ecstatic-morse
committed
5e422ef
Check for trait methods on concrete types in const checking
ecstatic-morse
committed
7a019b1
Add tests for calling trait methods on concrete types
ecstatic-morse
committed
323ff19
Split const trait method test and impl `ops::Add`
ecstatic-morse
committed
d6d6d25
Ensure const impl cannot coexist with non-const impl
ecstatic-morse
committed
70f7879
Use early return when forbidding unstable attrs
ecstatic-morse
committed
0a5abca
Propagate `rustc_const_unstable` to children
ecstatic-morse
committed
8e7609b
Test `rustc_const_unstable` on trait fns
ecstatic-morse
committed
4992eb2
Add ignored test for associated types in const impl
ecstatic-morse
committed
c8f0abb
Remove outdated FIXME
ecstatic-morse
committed
9a36824
Add passing test for `Add` on generic struct
ecstatic-morse
committed
160e630
Make `fn_queries` helpers module-private
ecstatic-morse
committed
cb81712
Prevent const trait methods from being marked stable
ecstatic-morse
committed
5f06ce2
Update tests
ecstatic-morse
committed
19801b1