Commented out incomplete code

This commit is contained in:
Chad Stearns 2020-04-05 15:24:45 -04:00
parent 89c949a9fd
commit e4b9e0d6e7

View file

@ -1327,12 +1327,15 @@ fn to_pending_def<'a>(
}
Err((original_region, shadow)) => {
env.problem(Problem::ShadowingInAnnotation {
original_region,
shadow,
});
// env.problem(Problem::ShadowingInAnnotation {
// original_region,
// shadow,
// });
panic!("TODO gracefully handle shadowing of type alias {:?}", err)
panic!(
"TODO gracefully handle shadowing of type alias {:?}",
(original_region, shadow)
)
}
}
}