mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-09-24 22:02:23 +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.
53 lines
1.5 KiB
Plaintext
53 lines
1.5 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
|
|
//
|
|
// RUN: %{not} %{explorer} %s 2>&1 | \
|
|
// RUN: %{FileCheck} --match-full-lines --allow-unused-prefixes=false %s
|
|
// RUN: %{not} %{explorer} --parser_debug --trace_file=- %s 2>&1 | \
|
|
// RUN: %{FileCheck} --match-full-lines --allow-unused-prefixes %s
|
|
// AUTOUPDATE: %{explorer} %s
|
|
|
|
|
|
package ExplorerTest api;
|
|
|
|
interface Vector {
|
|
fn Add[me: Self](b: Self) -> Self;
|
|
fn Scale[me: Self](v: i32) -> Self;
|
|
}
|
|
|
|
class Point {
|
|
var x: i32;
|
|
var y: i32;
|
|
}
|
|
|
|
external impl Point as Vector {
|
|
fn Add[me: Point](b: Point) -> Point {
|
|
return {.x = me.x + b.x, .y = me.y + b.y};
|
|
}
|
|
fn Scale[me: Point](v: i32) -> Point {
|
|
return {.x = me.x * v, .y = me.y * v};
|
|
}
|
|
}
|
|
|
|
external impl Point as Vector {
|
|
fn Add[me: Point](b: Point) -> Point {
|
|
return {.x = me.x + b.x, .y = me.y + b.y};
|
|
}
|
|
fn Scale[me: Point](v: i32) -> Point {
|
|
return {.x = me.x * v, .y = me.y * v};
|
|
}
|
|
// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/impl/fail_ambiguous_impl.carbon:[[@LINE+1]]: ambiguous implementations of interface Vector for class Point
|
|
}
|
|
|
|
fn AddAndScaleGeneric[T:! Vector](a: T, b: T, s: i32) -> T {
|
|
return a.Add(b).Scale(s);
|
|
}
|
|
|
|
fn Main() -> i32 {
|
|
var a: Point = {.x = 1, .y = 1};
|
|
var b: Point = {.x = 2, .y = 3};
|
|
var p: Point = AddAndScaleGeneric(a, b, 5);
|
|
return p.x - 15;
|
|
}
|