Improve CTFE UB validation error messages#86275

Merged

bors merged 4 commits intorust-lang:masterfrom

lqd:ctfe-validation

Jun 14, 2021

Commits on Jun 13, 2021

Commits on Jun 14, 2021

Improve documentation on `UndefinedBehaviorInfo::ValidationFailure`
lqd
committed
Adjust `throw_validation_failure` macro to shorten the use of `with_no_trimmed_paths`
lqd
committed