"Can't drop in const context" suggests adding a trivially false where clause #103267
Labels
A-const-eval
Area: Constant evaluation, covers all const contexts (static, const fn, ...)
A-diagnostics
Area: Messages for errors, warnings, and lints
F-const_trait_impl
`#![feature(const_trait_impl)]`
T-compiler
Relevant to the compiler team, which will review and decide on the PR/issue.
Given the following code (playground):
The current output is:
The suggestion at the end is nonsense for multiple reasons:
main
cannot have awhere
clause.where
clause with a trivial bound, i.e. one that does not depend on any type or lifetime parameters). This is an unstable feature.Vec<u8>
andDestruct
are defined in other files.Destruct
is not in scope; it needs to be written asstd::marker::Destruct
.The text was updated successfully, but these errors were encountered: