From 218caa410aa38c29984be31a5229b9fa717560ee Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:19:13 +0200 Subject: Merging upstream version 1.68.2+dfsg1. Signed-off-by: Daniel Baumann --- src/test/ui/consts/issue-67696-const-prop-ice.rs | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100644 src/test/ui/consts/issue-67696-const-prop-ice.rs (limited to 'src/test/ui/consts/issue-67696-const-prop-ice.rs') diff --git a/src/test/ui/consts/issue-67696-const-prop-ice.rs b/src/test/ui/consts/issue-67696-const-prop-ice.rs deleted file mode 100644 index ad52608b3..000000000 --- a/src/test/ui/consts/issue-67696-const-prop-ice.rs +++ /dev/null @@ -1,20 +0,0 @@ -// check-pass -// compile-flags: --emit=mir,link -// Checks that we don't ICE due to attempting to run const prop -// on a function with unsatisifable 'where' clauses - -#![allow(unused)] - -trait A { - fn foo(&self) -> Self where Self: Copy; -} - -impl A for [fn(&())] { - fn foo(&self) -> Self where Self: Copy { *(&[] as &[_]) } -} - -impl A for i32 { - fn foo(&self) -> Self { 3 } -} - -fn main() {} -- cgit v1.2.3