@Oli any idea why this does not error in validation? https://play.rust-lang.org/?version=stable&mode=debug&edition=2015&gist=be20fc6e56ea2fec2ebd34eb375b5bd9
uh... does playground nightly contain my query-PR already?
I get the same locally. discovered it while working on that visitor PR.
it's not a validation error
it's a regular const eval error
yes. but validation should complain as well.
no, validation is never reached
we bail out before we get to validation
ah because we cannot create a
that's so odd that that makes it less hard of an error...
and_then only enters if it's
maybe we can push that back and do the conversion to
ConstValue after validation?
const_eval_raw always return an allocation and doing the conversion later? seems reasonable.
playground nightly contain
The version of both nightly and miri are in their respective menus, BTW