rust/compiler/rustc_const_eval/src/const_eval
Matthias Krüger 103c3a38a6
Rollup merge of #93358 - compiler-errors:is-not-const, r=fee1-dead
Add note suggesting that predicate may be satisfied, but is not `const`

Not sure if we should be printing this in addition to, or perhaps _instead_ of the help message:
```
help: the trait `~const Add` is not implemented for `NonConstAdd`
```

Also added `ParamEnv::is_const` and `PolyTraitPredicate::is_const_if_const` and, in a separate commit, used those in other places instead of `== hir::Constness::Const`, etc.

r? ````@fee1-dead````
2022-01-30 00:04:11 +01:00
..
error.rs use matches!() macro in more places 2021-11-06 16:13:14 +01:00
eval_queries.rs drive-by: use is_const and is_const_if_const 2022-01-26 19:24:01 -08:00
fn_queries.rs Reduce use of local_def_id_to_hir_id. 2022-01-15 21:26:25 +01:00
machine.rs const_deallocate: Don't deallocate memory allocated in an another const. Does nothing at runtime. 2022-01-26 13:06:09 +09:00
mod.rs Remove in_band_lifetimes from rustc_const_eval 2021-12-13 22:39:00 -05:00