mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Don't duplicate body of try_validation.

Browse Source
This commit is contained in:
jumbatm 2020-04-23 22:52:27 +10:00
parent 326d38fa09
commit e66e37cbf1
1 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/librustc_mir/interpret/validity.rs
View File

@ -39,12 +39,7 @@ macro_rules! throw_validation_failure {
/// Returns a validation failure for any Err value of $e.
macro_rules! try_validation {
($e:expr, $what:expr, $where:expr $(, $details:expr )?) => {{
match $e {
Ok(x) => x,
// We catch the error and turn it into a validation failure. We are okay with
// allocation here as this can only slow down builds that fail anyway.
Err(_) => throw_validation_failure!($what, $where $(, $details)?),
}
try_validation_pat!($e, _, $what, $where $(, $details )?)
}};
}
/// Like try_validation, but will throw a validation error if any of the patterns in $p are
@ -60,6 +55,8 @@ macro_rules! try_validation_pat {
($e:expr, $( $p:pat )|*, $what:expr, $where:expr $(, $details:expr )?) => {{
match $e {
Ok(x) => x,
// We catch the error and turn it into a validation failure. We are okay with
// allocation here as this can only slow down builds that fail anyway.
$( Err($p) )|* if true => throw_validation_failure!($what, $where $(, $details)?),
Err(e) => Err::<!, _>(e)?,
}