mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-09-30 20:35:01 +01:00
Richard Smith
9512a9fcc1
This works by splitting the constraint up into interfaces and checking that each of them is implemented in turn. Also check that the parameters of the impl are deducible from each of the resulting (type, interface) pairs.
29 lines
739 B
Plaintext
29 lines
739 B
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
|
|
//
|
|
// RUN: %{explorer} %s 2>&1 | \
|
|
// RUN: %{FileCheck} --match-full-lines --allow-unused-prefixes=false %s
|
|
// RUN: %{explorer} --parser_debug --trace_file=- %s 2>&1 | \
|
|
// RUN: %{FileCheck} --match-full-lines --allow-unused-prefixes %s
|
|
// AUTOUPDATE: %{explorer} %s
|
|
// CHECK: result: 1
|
|
|
|
package ExplorerTest api;
|
|
|
|
interface A(T:! Type) {}
|
|
interface B {
|
|
fn F() -> i32;
|
|
}
|
|
|
|
class C(T:! Type) {}
|
|
|
|
external impl forall [T:! Type] C(T) as A(T) & B {
|
|
fn F() -> i32 { return 1; }
|
|
}
|
|
|
|
fn Main() -> i32 {
|
|
var v: C(i32) = {};
|
|
return v.(B.F)();
|
|
}
|