summaryrefslogtreecommitdiffstats
path: root/src/test/ui/implied-bounds/issue-101951.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:03 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:03 +0000
commit64d98f8ee037282c35007b64c2649055c56af1db (patch)
tree5492bcf97fce41ee1c0b1cc2add283f3e66cdab0 /src/test/ui/implied-bounds/issue-101951.rs
parentAdding debian version 1.67.1+dfsg1-1. (diff)
downloadrustc-64d98f8ee037282c35007b64c2649055c56af1db.tar.xz
rustc-64d98f8ee037282c35007b64c2649055c56af1db.zip
Merging upstream version 1.68.2+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/implied-bounds/issue-101951.rs')
-rw-r--r--src/test/ui/implied-bounds/issue-101951.rs50
1 files changed, 0 insertions, 50 deletions
diff --git a/src/test/ui/implied-bounds/issue-101951.rs b/src/test/ui/implied-bounds/issue-101951.rs
deleted file mode 100644
index 108fef8a1..000000000
--- a/src/test/ui/implied-bounds/issue-101951.rs
+++ /dev/null
@@ -1,50 +0,0 @@
-// Taken directly from that issue.
-//
-// This test detected that we didn't correctly resolve
-// inference variables when computing implied bounds.
-//
-// check-pass
-pub trait BuilderFn<'a> {
- type Output;
-}
-
-impl<'a, F, Out> BuilderFn<'a> for F
-where
- F: FnOnce(&'a mut ()) -> Out,
-{
- type Output = Out;
-}
-
-pub trait ConstructionFirm {
- type Builder: for<'a> BuilderFn<'a>;
-}
-
-pub trait Campus<T>
-where
- T: ConstructionFirm,
-{
- fn add_building(
- &mut self,
- building: &mut <<T as ConstructionFirm>::Builder as BuilderFn<'_>>::Output,
- );
-}
-
-struct ArchitectsInc {}
-
-impl ConstructionFirm for ArchitectsInc {
- type Builder = fn(&mut ()) -> PrettyCondo<'_>;
-}
-
-struct PrettyCondo<'a> {
- _marker: &'a mut (),
-}
-
-struct CondoEstate {}
-
-impl Campus<ArchitectsInc> for CondoEstate {
- fn add_building(&mut self, _building: &mut PrettyCondo<'_>) {
- todo!()
- }
-}
-
-fn main() {}