Use trimmed paths in constantant validation errors

The constant validation errors are user facing and should always be
emitted to the user - use trimmed path when constructing them.
This commit is contained in:
Tomasz Miąsko 2023-03-22 00:00:00 +00:00
parent 6a8fcdc597
commit bc41973e35

View File

@ -38,16 +38,14 @@ macro_rules! throw_validation_failure {
msg.push_str(", but expected ");
write!(&mut msg, $($expected_fmt)*).unwrap();
)?
let path = rustc_middle::ty::print::with_no_trimmed_paths!({
let where_ = &$where;
if !where_.is_empty() {
let mut path = String::new();
write_path(&mut path, where_);
Some(path)
} else {
None
}
});
let where_ = &$where;
let path = if !where_.is_empty() {
let mut path = String::new();
write_path(&mut path, where_);
Some(path)
} else {
None
};
throw_ub!(ValidationFailure { path, msg })
}};
}