Skip to content

Commit 3d97c04

Browse files
committed
fail_todo_
1 parent 2c12c8c commit 3d97c04

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

toolchain/check/testdata/facet/period_self.carbon

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -192,25 +192,25 @@ fn G(U:! I(.Self) where .Self impls J(.Self)) {
192192
U.I1().(J.J1)().I1().(J.J1)().I1().(J.J1)();
193193
}
194194

195-
// --- return_of_type_period_self_has_type_u.carbon
195+
// --- fail_todo_return_of_type_period_self_has_type_u.carbon
196196
library "[[@TEST_NAME]]";
197197

198198
interface I(T:! type) {
199199
fn G() -> T;
200200
}
201201

202202
fn F(U:! I(.Self)) {
203-
// CHECK:STDERR: return_of_type_period_self_has_type_u.carbon:[[@LINE+7]]:14: error: cannot implicitly convert expression of type `.Self` to `U` [ConversionFailure]
203+
// CHECK:STDERR: fail_todo_return_of_type_period_self_has_type_u.carbon:[[@LINE+7]]:14: error: cannot implicitly convert expression of type `.Self` to `U` [ConversionFailure]
204204
// CHECK:STDERR: let a: U = U.G();
205205
// CHECK:STDERR: ^~~~~
206-
// CHECK:STDERR: return_of_type_period_self_has_type_u.carbon:[[@LINE+4]]:14: note: type `.Self` does not implement interface `Core.ImplicitAs(U)` [MissingImplInMemberAccessNote]
206+
// CHECK:STDERR: fail_todo_return_of_type_period_self_has_type_u.carbon:[[@LINE+4]]:14: note: type `.Self` does not implement interface `Core.ImplicitAs(U)` [MissingImplInMemberAccessNote]
207207
// CHECK:STDERR: let a: U = U.G();
208208
// CHECK:STDERR: ^~~~~
209209
// CHECK:STDERR:
210210
let a: U = U.G();
211211
}
212212

213-
// --- return_of_type_period_self_assoc_const_has_type_u.carbon
213+
// --- fail_todo_return_of_type_period_self_assoc_const_has_type_u.carbon
214214
library "[[@TEST_NAME]]";
215215

216216
interface I {
@@ -219,10 +219,10 @@ interface I {
219219
}
220220

221221
fn F(U:! I where .X = .Self) {
222-
// CHECK:STDERR: return_of_type_period_self_assoc_const_has_type_u.carbon:[[@LINE+7]]:14: error: cannot implicitly convert expression of type `.Self` to `U` [ConversionFailure]
222+
// CHECK:STDERR: fail_todo_return_of_type_period_self_assoc_const_has_type_u.carbon:[[@LINE+7]]:14: error: cannot implicitly convert expression of type `.Self` to `U` [ConversionFailure]
223223
// CHECK:STDERR: let a: U = U.G();
224224
// CHECK:STDERR: ^~~~~
225-
// CHECK:STDERR: return_of_type_period_self_assoc_const_has_type_u.carbon:[[@LINE+4]]:14: note: type `.Self` does not implement interface `Core.ImplicitAs(U)` [MissingImplInMemberAccessNote]
225+
// CHECK:STDERR: fail_todo_return_of_type_period_self_assoc_const_has_type_u.carbon:[[@LINE+4]]:14: note: type `.Self` does not implement interface `Core.ImplicitAs(U)` [MissingImplInMemberAccessNote]
226226
// CHECK:STDERR: let a: U = U.G();
227227
// CHECK:STDERR: ^~~~~
228228
// CHECK:STDERR:

0 commit comments

Comments
 (0)