carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-10-05 22:02:55 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

Test cleanup: remove old todo and duplicate test (#5198)

Browse Source 
The todo_fail_specialization_written_after_use_is_poisoned.carbon has a
similar test in impl/lookup/min_prelude/specialization_poison.carbon
now.
This commit is contained in:
Dana Jansens
2025-03-27 16:30:14 +00:00
committed by GitHub
parent f9aa2b79b8
commit 10eae855bc
1 changed files with 0 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files
toolchain/check/testdata/impl/lookup/min_prelude/specialization.carbon
Vendored
-22
View File
@@ -183,8 +183,6 @@ fn F() {
// The specialization of `Z(C)` should match in preference to the blanket
// impls of `Z(T)`. If a blanket impl is chosen, then `a` will have type `()`
// which will fail to typecheck here when constructed from a `C` value.
//
// TODO: C(T) is C(()) so this should work?
let a: C(()).(Z(()).X) = {} as C(());
}
@@ -309,26 +307,6 @@ fn F() {
let a: C(()).(Z.X) = {} as C(());
}
// --- todo_fail_specialization_written_after_use_is_poisoned.carbon
library "[[@TEST_NAME]]";
interface Z(T:! type) {
let X:! type;
}
class C {}
impl forall [T:! type] T as Z(T) where .X = () {}
fn F() {
let a: C.(Z(C).X) = ();
}
// TODO: This impl changes the result of a previous lookup. The previous lookup
// should have created a poison value that this trips and thus generates a
// diagnostic.
impl C as Z(C) where .X = C {}
// --- fail_todo_final_specialization_before_generic_use_of_type_constant.carbon
library "[[@TEST_NAME]]";