Avoid ICE by using delay_span_bug

estebank · estebank · commit adc18eb7cfd0 · 2019-05-10T18:22:25.000-07:00
diff --git a/src/librustc_typeck/check/mod.rs b/src/librustc_typeck/check/mod.rs
@@ -5653,10 +5653,11 @@ impl<'a, 'gcx, 'tcx> FnCtxt<'a, 'gcx, 'tcx> {
             match self.at(&self.misc(span), self.param_env).sup(impl_ty, self_ty) {
                 Ok(ok) => self.register_infer_ok_obligations(ok),
                 Err(_) => {
-                    span_bug!(span,
+                    self.tcx.sess.delay_span_bug(span, &format!(
                         "instantiate_value_path: (UFCS) {:?} was a subtype of {:?} but now is not?",
                         self_ty,
-                        impl_ty);
+                        impl_ty,
+                    ));
                 }
             }
         }
diff --git a/src/test/ui/issues/issue-53498.rs b/src/test/ui/issues/issue-53498.rs
@@ -0,0 +1,17 @@
+pub mod test {
+    pub struct A;
+    pub struct B;
+    pub struct Foo<T>(T);
+
+    impl Foo<A> {
+        fn foo() {}
+    }
+
+    impl Foo<B> {
+        fn foo() {}
+    }
+}
+
+fn main() {
+    test::Foo::<test::B>::foo(); //~ ERROR method `foo` is private
+}
diff --git a/src/test/ui/issues/issue-53498.stderr b/src/test/ui/issues/issue-53498.stderr
@@ -0,0 +1,9 @@
+error[E0624]: method `foo` is private
+  --> $DIR/issue-53498.rs:16:5
+   |
+LL |     test::Foo::<test::B>::foo();
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0624`.

Original file line number	Diff line number	Diff line change
`@@ -5653,10 +5653,11 @@ impl<'a, 'gcx, 'tcx> FnCtxt<'a, 'gcx, 'tcx> {`
`5653`	`5653`	`match self.at(&self.misc(span), self.param_env).sup(impl_ty, self_ty) {`
`5654`	`5654`	`Ok(ok) => self.register_infer_ok_obligations(ok),`
`5655`	`5655`	`Err(_) => {`
`5656`		`- span_bug!(span,`
	`5656`	`+ self.tcx.sess.delay_span_bug(span, &format!(`
`5657`	`5657`	`"instantiate_value_path: (UFCS) {:?} was a subtype of {:?} but now is not?",`
`5658`	`5658`	`self_ty,`
`5659`		`- impl_ty);`
	`5659`	`+ impl_ty,`
	`5660`	`+ ));`
`5660`	`5661`	`}`
`5661`	`5662`	`}`
`5662`	`5663`	`}`