mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-09-24 21:30:12 +01:00
Jon Ross-Perkins
eac7c2bda4
This was an offshoot of the discussion about how much boilerplate we could remove. lit requires RUN lines be there, everything else is optional.
46 lines
1.3 KiB
Plaintext
46 lines
1.3 KiB
Plaintext
// Part of the Carbon Language project, under the Apache License v2.0 with LLVM
|
|
// Exceptions. See /LICENSE for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
// AUTOUPDATE
|
|
// RUN: %{not} %{explorer-run}
|
|
// RUN: %{not} %{explorer-run-trace}
|
|
|
|
package ExplorerTest api;
|
|
|
|
interface A {
|
|
let TA:! Type;
|
|
fn FA() -> TA;
|
|
}
|
|
interface B {
|
|
let TB:! Type;
|
|
fn FB() -> TB;
|
|
}
|
|
|
|
class C(T:! Type) {
|
|
impl as A & B where .TA == i32 and .TB == i32 {
|
|
fn FA() -> i32 {
|
|
// OK, know that TA is i32 here.
|
|
let v: Self.(A.TA) = 1;
|
|
let w: i32 = v;
|
|
return w;
|
|
}
|
|
fn FB() -> i32 {
|
|
// OK, know that TB is i32 here.
|
|
let v: Self.(B.TB) = 2;
|
|
// Don't know that TA is i32; it could be specialized.
|
|
let w: Self.(A.TA) = 3;
|
|
// TODO: This error is confusing. We should be diagnosing the previous
|
|
// line because we don't know that `3` can be converted to `Self.(A.TA)`.
|
|
// CHECK:STDERR: COMPILATION ERROR: {{.*}}/explorer/testdata/assoc_const/fail_multi_impl_scoping.carbon:[[@LINE+1]]: type error in return value: '((class C(T = T)).TB).Result' is not implicitly convertible to 'i32'
|
|
return v + w;
|
|
}
|
|
}
|
|
}
|
|
|
|
external impl C(i32) as B where .TB == () {
|
|
fn FB() -> () { return (); }
|
|
}
|
|
|
|
fn Main() -> i32 { return C(i32).FB(); }
|