1 files changed, 0 insertions, 29 deletions
diff --git a/src/test/ui/higher-rank-trait-bounds/hrtb-binder-levels-in-object-types.rs b/src/test/ui/higher-rank-trait-bounds/hrtb-binder-levels-in-object-types.rs
deleted file mode 100644
index cc766c060..000000000
--- a/src/test/ui/higher-rank-trait-bounds/hrtb-binder-levels-in-object-types.rs
+++ /dev/null
@@ -1,29 +0,0 @@
-// run-pass
-#![allow(dead_code)]
-#![allow(unused_variables)]
-// Test that we handle binder levels in object types correctly.
-// Initially, the reference to `'tcx` in the object type
-// `&Typer<'tcx>` was getting an incorrect binder level, yielding
-// weird compilation ICEs and so forth.
-
-// pretty-expanded FIXME #23616
-
-trait Typer<'tcx> {
-    fn method(&self, data: &'tcx isize) -> &'tcx isize { data }
-}
-
-struct Tcx<'tcx> {
-    fields: &'tcx isize
-}
-
-impl<'tcx> Typer<'tcx> for Tcx<'tcx> {
-}
-
-fn g<'tcx>(typer: &dyn Typer<'tcx>) {
-}
-
-fn check_static_type<'x>(tcx: &Tcx<'x>) {
-    g(tcx)
-}
-
-fn main() { }