|
|
@@ -7,23 +7,25 @@
|
|
|
interface I { fn F(); }
|
|
|
|
|
|
class NoF {
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+6]]:3: ERROR: Missing implementation of F in impl of interface I.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+7]]:3: ERROR: Missing implementation of F in impl of interface I.
|
|
|
// CHECK:STDERR: impl as I {}
|
|
|
// CHECK:STDERR: ^~~~~~~~~~~
|
|
|
// CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-6]]:15: Associated function F declared here.
|
|
|
// CHECK:STDERR: interface I { fn F(); }
|
|
|
// CHECK:STDERR: ^~~~~~~
|
|
|
+ // CHECK:STDERR:
|
|
|
impl as I {}
|
|
|
}
|
|
|
|
|
|
class FNotFunction {
|
|
|
impl as I {
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+6]]:5: ERROR: Associated function F implemented by non-function.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+7]]:5: ERROR: Associated function F implemented by non-function.
|
|
|
// CHECK:STDERR: class F;
|
|
|
// CHECK:STDERR: ^~~~~~~~
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-17]]:15: Associated function F declared here.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-18]]:15: Associated function F declared here.
|
|
|
// CHECK:STDERR: interface I { fn F(); }
|
|
|
// CHECK:STDERR: ^~~~~~~
|
|
|
+ // CHECK:STDERR:
|
|
|
class F;
|
|
|
}
|
|
|
}
|
|
|
@@ -33,36 +35,39 @@ fn PossiblyF();
|
|
|
// TODO: Should this be permitted?
|
|
|
class FAlias {
|
|
|
impl as I {
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+6]]:11: ERROR: Associated function F implemented by non-function.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+7]]:11: ERROR: Associated function F implemented by non-function.
|
|
|
// CHECK:STDERR: alias F = PossiblyF;
|
|
|
// CHECK:STDERR: ^
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-32]]:15: Associated function F declared here.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-34]]:15: Associated function F declared here.
|
|
|
// CHECK:STDERR: interface I { fn F(); }
|
|
|
// CHECK:STDERR: ^~~~~~~
|
|
|
+ // CHECK:STDERR:
|
|
|
alias F = PossiblyF;
|
|
|
}
|
|
|
}
|
|
|
|
|
|
class FExtraParam {
|
|
|
impl as I {
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+6]]:5: ERROR: Function redeclaration differs because of parameter count of 1.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+7]]:5: ERROR: Function redeclaration differs because of parameter count of 1.
|
|
|
// CHECK:STDERR: fn F(b: bool);
|
|
|
// CHECK:STDERR: ^~~~~~~~~~~~~~
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-44]]:15: Previously declared with parameter count of 0.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-47]]:15: Previously declared with parameter count of 0.
|
|
|
// CHECK:STDERR: interface I { fn F(); }
|
|
|
// CHECK:STDERR: ^~~~~~~
|
|
|
+ // CHECK:STDERR:
|
|
|
fn F(b: bool);
|
|
|
}
|
|
|
}
|
|
|
|
|
|
class FExtraImplicitParam {
|
|
|
impl as I {
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+6]]:5: ERROR: Function redeclaration differs because of implicit parameter count of 1.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+7]]:5: ERROR: Function redeclaration differs because of implicit parameter count of 1.
|
|
|
// CHECK:STDERR: fn F[self: Self]();
|
|
|
// CHECK:STDERR: ^~~~~~~~~~~~~~~~~~~
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-56]]:15: Previously declared with implicit parameter count of 0.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-60]]:15: Previously declared with implicit parameter count of 0.
|
|
|
// CHECK:STDERR: interface I { fn F(); }
|
|
|
// CHECK:STDERR: ^~~~~~~
|
|
|
+ // CHECK:STDERR:
|
|
|
fn F[self: Self]();
|
|
|
}
|
|
|
}
|
|
|
@@ -70,12 +75,13 @@ class FExtraImplicitParam {
|
|
|
// TODO: Should this be permitted?
|
|
|
class FExtraReturnType {
|
|
|
impl as I {
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+6]]:5: ERROR: Function redeclaration differs because return type is `bool`.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+7]]:5: ERROR: Function redeclaration differs because return type is `bool`.
|
|
|
// CHECK:STDERR: fn F() -> bool;
|
|
|
// CHECK:STDERR: ^~~~~~~~~~~~~~~
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-69]]:15: Previously declared with no return type.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-74]]:15: Previously declared with no return type.
|
|
|
// CHECK:STDERR: interface I { fn F(); }
|
|
|
// CHECK:STDERR: ^~~~~~~
|
|
|
+ // CHECK:STDERR:
|
|
|
fn F() -> bool;
|
|
|
}
|
|
|
}
|
|
|
@@ -84,72 +90,78 @@ interface J { fn F[self: bool](b: bool) -> bool; }
|
|
|
|
|
|
class FMissingParam {
|
|
|
impl as J {
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+6]]:5: ERROR: Function redeclaration differs because of parameter count of 0.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+7]]:5: ERROR: Function redeclaration differs because of parameter count of 0.
|
|
|
// CHECK:STDERR: fn F[self: bool]() -> bool;
|
|
|
// CHECK:STDERR: ^~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
// CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-7]]:15: Previously declared with parameter count of 1.
|
|
|
// CHECK:STDERR: interface J { fn F[self: bool](b: bool) -> bool; }
|
|
|
// CHECK:STDERR: ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
+ // CHECK:STDERR:
|
|
|
fn F[self: bool]() -> bool;
|
|
|
}
|
|
|
}
|
|
|
|
|
|
class FMissingImplicitParam {
|
|
|
impl as J {
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+6]]:5: ERROR: Function redeclaration differs because of implicit parameter count of 0.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+7]]:5: ERROR: Function redeclaration differs because of implicit parameter count of 0.
|
|
|
// CHECK:STDERR: fn F(b: bool) -> bool;
|
|
|
// CHECK:STDERR: ^~~~~~~~~~~~~~~~~~~~~~
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-19]]:15: Previously declared with implicit parameter count of 1.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-20]]:15: Previously declared with implicit parameter count of 1.
|
|
|
// CHECK:STDERR: interface J { fn F[self: bool](b: bool) -> bool; }
|
|
|
// CHECK:STDERR: ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
+ // CHECK:STDERR:
|
|
|
fn F(b: bool) -> bool;
|
|
|
}
|
|
|
}
|
|
|
|
|
|
class FMissingReturnType {
|
|
|
impl as J {
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+6]]:5: ERROR: Function redeclaration differs because no return type is provided.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+7]]:5: ERROR: Function redeclaration differs because no return type is provided.
|
|
|
// CHECK:STDERR: fn F[self: bool](b: bool);
|
|
|
// CHECK:STDERR: ^~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-31]]:15: Previously declared with return type `bool`.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-33]]:15: Previously declared with return type `bool`.
|
|
|
// CHECK:STDERR: interface J { fn F[self: bool](b: bool) -> bool; }
|
|
|
// CHECK:STDERR: ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
+ // CHECK:STDERR:
|
|
|
fn F[self: bool](b: bool);
|
|
|
}
|
|
|
}
|
|
|
|
|
|
class FDifferentParamType {
|
|
|
impl as J {
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+6]]:22: ERROR: Function redeclaration differs at parameter 1.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+7]]:22: ERROR: Function redeclaration differs at parameter 1.
|
|
|
// CHECK:STDERR: fn F[self: bool](b: Self) -> bool;
|
|
|
// CHECK:STDERR: ^
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-43]]:32: Previous declaration's corresponding parameter here.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-46]]:32: Previous declaration's corresponding parameter here.
|
|
|
// CHECK:STDERR: interface J { fn F[self: bool](b: bool) -> bool; }
|
|
|
// CHECK:STDERR: ^
|
|
|
+ // CHECK:STDERR:
|
|
|
fn F[self: bool](b: Self) -> bool;
|
|
|
}
|
|
|
}
|
|
|
|
|
|
class FDifferentImplicitParamType {
|
|
|
impl as J {
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+6]]:10: ERROR: Function redeclaration differs at implicit parameter 1.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+7]]:10: ERROR: Function redeclaration differs at implicit parameter 1.
|
|
|
// CHECK:STDERR: fn F[self: Self](b: bool) -> bool;
|
|
|
// CHECK:STDERR: ^~~~
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-55]]:20: Previous declaration's corresponding implicit parameter here.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-59]]:20: Previous declaration's corresponding implicit parameter here.
|
|
|
// CHECK:STDERR: interface J { fn F[self: bool](b: bool) -> bool; }
|
|
|
// CHECK:STDERR: ^~~~
|
|
|
+ // CHECK:STDERR:
|
|
|
fn F[self: Self](b: bool) -> bool;
|
|
|
}
|
|
|
}
|
|
|
|
|
|
class FDifferentReturnType {
|
|
|
impl as J {
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+6]]:31: ERROR: Function returns incomplete type `FDifferentReturnType`.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+7]]:31: ERROR: Function returns incomplete type `FDifferentReturnType`.
|
|
|
// CHECK:STDERR: fn F[self: bool](b: bool) -> Self;
|
|
|
// CHECK:STDERR: ^~~~~~~
|
|
|
// CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-5]]:1: Class is incomplete within its definition.
|
|
|
// CHECK:STDERR: class FDifferentReturnType {
|
|
|
// CHECK:STDERR: ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
+ // CHECK:STDERR:
|
|
|
fn F[self: bool](b: bool) -> Self;
|
|
|
}
|
|
|
}
|
|
|
@@ -157,12 +169,13 @@ class FDifferentReturnType {
|
|
|
// TODO: This should probably be permitted.
|
|
|
class FDifferentParamName {
|
|
|
impl as J {
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+6]]:22: ERROR: Function redeclaration differs at parameter 1.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+7]]:22: ERROR: Function redeclaration differs at parameter 1.
|
|
|
// CHECK:STDERR: fn F[self: bool](not_b: bool) -> bool;
|
|
|
// CHECK:STDERR: ^~~~~
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-80]]:32: Previous declaration's corresponding parameter here.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-86]]:32: Previous declaration's corresponding parameter here.
|
|
|
// CHECK:STDERR: interface J { fn F[self: bool](b: bool) -> bool; }
|
|
|
// CHECK:STDERR: ^
|
|
|
+ // CHECK:STDERR:
|
|
|
fn F[self: bool](not_b: bool) -> bool;
|
|
|
}
|
|
|
}
|
|
|
@@ -173,12 +186,13 @@ interface SelfNested {
|
|
|
|
|
|
class SelfNestedBadParam {
|
|
|
impl as SelfNested {
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+6]]:56: ERROR: Function returns incomplete type `[SelfNestedBadParam; 4]`.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+7]]:56: ERROR: Function returns incomplete type `[SelfNestedBadParam; 4]`.
|
|
|
// CHECK:STDERR: fn F(x: (SelfNestedBadParam*, {.x: i32, .y: i32})) -> [SelfNestedBadParam; 4];
|
|
|
// CHECK:STDERR: ^~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
// CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-5]]:1: Class is incomplete within its definition.
|
|
|
// CHECK:STDERR: class SelfNestedBadParam {
|
|
|
// CHECK:STDERR: ^~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
+ // CHECK:STDERR:
|
|
|
fn F(x: (SelfNestedBadParam*, {.x: i32, .y: i32})) -> [SelfNestedBadParam; 4];
|
|
|
}
|
|
|
}
|
|
|
@@ -188,7 +202,7 @@ class SelfNestedBadReturnType {
|
|
|
// CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE+6]]:5: ERROR: Function redeclaration differs because return type is `[SelfNestedBadParam; 4]`.
|
|
|
// CHECK:STDERR: fn F(x: (SelfNestedBadReturnType*, {.x: SelfNestedBadReturnType, .y: i32})) -> [SelfNestedBadParam; 4];
|
|
|
// CHECK:STDERR: ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
- // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-20]]:3: Previously declared with return type `[SelfNestedBadReturnType; 4]`.
|
|
|
+ // CHECK:STDERR: fail_impl_bad_assoc_fn.carbon:[[@LINE-21]]:3: Previously declared with return type `[SelfNestedBadReturnType; 4]`.
|
|
|
// CHECK:STDERR: fn F(x: (Self*, {.x: Self, .y: i32})) -> [Self; 4];
|
|
|
// CHECK:STDERR: ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
fn F(x: (SelfNestedBadReturnType*, {.x: SelfNestedBadReturnType, .y: i32})) -> [SelfNestedBadParam; 4];
|
|
|
@@ -301,47 +315,47 @@ class SelfNestedBadReturnType {
|
|
|
// CHECK:STDOUT: interface @J {
|
|
|
// CHECK:STDOUT: %Self: J = bind_symbolic_name Self [symbolic]
|
|
|
// CHECK:STDOUT: %F: <function> = fn_decl @F.5 [template] {
|
|
|
-// CHECK:STDOUT: %self.loc83_20.1: bool = param self
|
|
|
-// CHECK:STDOUT: %self.loc83_20.2: bool = bind_name self, %self.loc83_20.1
|
|
|
-// CHECK:STDOUT: %b.loc83_32.1: bool = param b
|
|
|
-// CHECK:STDOUT: %b.loc83_32.2: bool = bind_name b, %b.loc83_32.1
|
|
|
+// CHECK:STDOUT: %self.loc89_20.1: bool = param self
|
|
|
+// CHECK:STDOUT: %self.loc89_20.2: bool = bind_name self, %self.loc89_20.1
|
|
|
+// CHECK:STDOUT: %b.loc89_32.1: bool = param b
|
|
|
+// CHECK:STDOUT: %b.loc89_32.2: bool = bind_name b, %b.loc89_32.1
|
|
|
// CHECK:STDOUT: %return.var: ref bool = var <return slot>
|
|
|
// CHECK:STDOUT: }
|
|
|
-// CHECK:STDOUT: %.loc83: <associated <function> in J> = assoc_entity element0, %F [template = constants.%.7]
|
|
|
+// CHECK:STDOUT: %.loc89: <associated <function> in J> = assoc_entity element0, %F [template = constants.%.7]
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: !members:
|
|
|
// CHECK:STDOUT: .Self = %Self
|
|
|
-// CHECK:STDOUT: .F = %.loc83
|
|
|
+// CHECK:STDOUT: .F = %.loc89
|
|
|
// CHECK:STDOUT: witness = (%F)
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: interface @SelfNested {
|
|
|
// CHECK:STDOUT: %Self: SelfNested = bind_symbolic_name Self [symbolic]
|
|
|
// CHECK:STDOUT: %F: <function> = fn_decl @F.13 [template] {
|
|
|
-// CHECK:STDOUT: %Self.ref.loc171_12: SelfNested = name_ref Self, %Self [symbolic = %Self]
|
|
|
-// CHECK:STDOUT: %.loc171_16.1: type = facet_type_access %Self.ref.loc171_12 [symbolic = %Self]
|
|
|
-// CHECK:STDOUT: %.loc171_12: type = converted %Self.ref.loc171_12, %.loc171_16.1 [symbolic = %Self]
|
|
|
-// CHECK:STDOUT: %.loc171_16.2: type = ptr_type Self [symbolic = constants.%.9]
|
|
|
-// CHECK:STDOUT: %Self.ref.loc171_24: SelfNested = name_ref Self, %Self [symbolic = %Self]
|
|
|
-// CHECK:STDOUT: %.loc171_24.1: type = facet_type_access %Self.ref.loc171_24 [symbolic = %Self]
|
|
|
-// CHECK:STDOUT: %.loc171_24.2: type = converted %Self.ref.loc171_24, %.loc171_24.1 [symbolic = %Self]
|
|
|
-// CHECK:STDOUT: %.loc171_37: type = struct_type {.x: Self, .y: i32} [symbolic = constants.%.10]
|
|
|
-// CHECK:STDOUT: %.loc171_38.1: (type, type) = tuple_literal (%.loc171_16.2, %.loc171_37)
|
|
|
-// CHECK:STDOUT: %.loc171_38.2: type = converted %.loc171_38.1, constants.%.12 [symbolic = constants.%.12]
|
|
|
-// CHECK:STDOUT: %x.loc171_8.1: (Self*, {.x: Self, .y: i32}) = param x
|
|
|
-// CHECK:STDOUT: %x.loc171_8.2: (Self*, {.x: Self, .y: i32}) = bind_name x, %x.loc171_8.1
|
|
|
-// CHECK:STDOUT: %Self.ref.loc171_45: SelfNested = name_ref Self, %Self [symbolic = %Self]
|
|
|
-// CHECK:STDOUT: %.loc171_51: i32 = int_literal 4 [template = constants.%.13]
|
|
|
-// CHECK:STDOUT: %.loc171_45.1: type = facet_type_access %Self.ref.loc171_45 [symbolic = %Self]
|
|
|
-// CHECK:STDOUT: %.loc171_45.2: type = converted %Self.ref.loc171_45, %.loc171_45.1 [symbolic = %Self]
|
|
|
-// CHECK:STDOUT: %.loc171_52: type = array_type %.loc171_51, Self [symbolic = constants.%.14]
|
|
|
+// CHECK:STDOUT: %Self.ref.loc184_12: SelfNested = name_ref Self, %Self [symbolic = %Self]
|
|
|
+// CHECK:STDOUT: %.loc184_16.1: type = facet_type_access %Self.ref.loc184_12 [symbolic = %Self]
|
|
|
+// CHECK:STDOUT: %.loc184_12: type = converted %Self.ref.loc184_12, %.loc184_16.1 [symbolic = %Self]
|
|
|
+// CHECK:STDOUT: %.loc184_16.2: type = ptr_type Self [symbolic = constants.%.9]
|
|
|
+// CHECK:STDOUT: %Self.ref.loc184_24: SelfNested = name_ref Self, %Self [symbolic = %Self]
|
|
|
+// CHECK:STDOUT: %.loc184_24.1: type = facet_type_access %Self.ref.loc184_24 [symbolic = %Self]
|
|
|
+// CHECK:STDOUT: %.loc184_24.2: type = converted %Self.ref.loc184_24, %.loc184_24.1 [symbolic = %Self]
|
|
|
+// CHECK:STDOUT: %.loc184_37: type = struct_type {.x: Self, .y: i32} [symbolic = constants.%.10]
|
|
|
+// CHECK:STDOUT: %.loc184_38.1: (type, type) = tuple_literal (%.loc184_16.2, %.loc184_37)
|
|
|
+// CHECK:STDOUT: %.loc184_38.2: type = converted %.loc184_38.1, constants.%.12 [symbolic = constants.%.12]
|
|
|
+// CHECK:STDOUT: %x.loc184_8.1: (Self*, {.x: Self, .y: i32}) = param x
|
|
|
+// CHECK:STDOUT: %x.loc184_8.2: (Self*, {.x: Self, .y: i32}) = bind_name x, %x.loc184_8.1
|
|
|
+// CHECK:STDOUT: %Self.ref.loc184_45: SelfNested = name_ref Self, %Self [symbolic = %Self]
|
|
|
+// CHECK:STDOUT: %.loc184_51: i32 = int_literal 4 [template = constants.%.13]
|
|
|
+// CHECK:STDOUT: %.loc184_45.1: type = facet_type_access %Self.ref.loc184_45 [symbolic = %Self]
|
|
|
+// CHECK:STDOUT: %.loc184_45.2: type = converted %Self.ref.loc184_45, %.loc184_45.1 [symbolic = %Self]
|
|
|
+// CHECK:STDOUT: %.loc184_52: type = array_type %.loc184_51, Self [symbolic = constants.%.14]
|
|
|
// CHECK:STDOUT: %return.var: ref [Self; 4] = var <return slot>
|
|
|
// CHECK:STDOUT: }
|
|
|
-// CHECK:STDOUT: %.loc171_53: <associated <function> in SelfNested> = assoc_entity element0, %F [template = constants.%.17]
|
|
|
+// CHECK:STDOUT: %.loc184_53: <associated <function> in SelfNested> = assoc_entity element0, %F [template = constants.%.17]
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: !members:
|
|
|
// CHECK:STDOUT: .Self = %Self
|
|
|
-// CHECK:STDOUT: .F = %.loc171_53
|
|
|
+// CHECK:STDOUT: .F = %.loc184_53
|
|
|
// CHECK:STDOUT: witness = (%F)
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT:
|
|
|
@@ -373,8 +387,8 @@ class SelfNestedBadReturnType {
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: impl @impl.4: FExtraParam as I {
|
|
|
// CHECK:STDOUT: %F: <function> = fn_decl @F.2 [template] {
|
|
|
-// CHECK:STDOUT: %b.loc54_10.1: bool = param b
|
|
|
-// CHECK:STDOUT: %b.loc54_10.2: bool = bind_name b, %b.loc54_10.1
|
|
|
+// CHECK:STDOUT: %b.loc58_10.1: bool = param b
|
|
|
+// CHECK:STDOUT: %b.loc58_10.2: bool = bind_name b, %b.loc58_10.1
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: %.1: <witness> = interface_witness (<error>) [template = <error>]
|
|
|
// CHECK:STDOUT:
|
|
|
@@ -386,8 +400,8 @@ class SelfNestedBadReturnType {
|
|
|
// CHECK:STDOUT: impl @impl.5: FExtraImplicitParam as I {
|
|
|
// CHECK:STDOUT: %F: <function> = fn_decl @F.3 [template] {
|
|
|
// CHECK:STDOUT: %Self.ref: type = name_ref Self, constants.%FExtraImplicitParam [template = constants.%FExtraImplicitParam]
|
|
|
-// CHECK:STDOUT: %self.loc66_10.1: FExtraImplicitParam = param self
|
|
|
-// CHECK:STDOUT: %self.loc66_10.2: FExtraImplicitParam = bind_name self, %self.loc66_10.1
|
|
|
+// CHECK:STDOUT: %self.loc71_10.1: FExtraImplicitParam = param self
|
|
|
+// CHECK:STDOUT: %self.loc71_10.2: FExtraImplicitParam = bind_name self, %self.loc71_10.1
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: %.1: <witness> = interface_witness (<error>) [template = <error>]
|
|
|
// CHECK:STDOUT:
|
|
|
@@ -409,8 +423,8 @@ class SelfNestedBadReturnType {
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: impl @impl.7: FMissingParam as J {
|
|
|
// CHECK:STDOUT: %F: <function> = fn_decl @F.6 [template] {
|
|
|
-// CHECK:STDOUT: %self.loc93_10.1: bool = param self
|
|
|
-// CHECK:STDOUT: %self.loc93_10.2: bool = bind_name self, %self.loc93_10.1
|
|
|
+// CHECK:STDOUT: %self.loc100_10.1: bool = param self
|
|
|
+// CHECK:STDOUT: %self.loc100_10.2: bool = bind_name self, %self.loc100_10.1
|
|
|
// CHECK:STDOUT: %return.var: ref bool = var <return slot>
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: %.1: <witness> = interface_witness (<error>) [template = <error>]
|
|
|
@@ -422,8 +436,8 @@ class SelfNestedBadReturnType {
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: impl @impl.8: FMissingImplicitParam as J {
|
|
|
// CHECK:STDOUT: %F: <function> = fn_decl @F.7 [template] {
|
|
|
-// CHECK:STDOUT: %b.loc105_10.1: bool = param b
|
|
|
-// CHECK:STDOUT: %b.loc105_10.2: bool = bind_name b, %b.loc105_10.1
|
|
|
+// CHECK:STDOUT: %b.loc113_10.1: bool = param b
|
|
|
+// CHECK:STDOUT: %b.loc113_10.2: bool = bind_name b, %b.loc113_10.1
|
|
|
// CHECK:STDOUT: %return.var: ref bool = var <return slot>
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: %.1: <witness> = interface_witness (<error>) [template = <error>]
|
|
|
@@ -435,10 +449,10 @@ class SelfNestedBadReturnType {
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: impl @impl.9: FMissingReturnType as J {
|
|
|
// CHECK:STDOUT: %F: <function> = fn_decl @F.8 [template] {
|
|
|
-// CHECK:STDOUT: %self.loc117_10.1: bool = param self
|
|
|
-// CHECK:STDOUT: %self.loc117_10.2: bool = bind_name self, %self.loc117_10.1
|
|
|
-// CHECK:STDOUT: %b.loc117_22.1: bool = param b
|
|
|
-// CHECK:STDOUT: %b.loc117_22.2: bool = bind_name b, %b.loc117_22.1
|
|
|
+// CHECK:STDOUT: %self.loc126_10.1: bool = param self
|
|
|
+// CHECK:STDOUT: %self.loc126_10.2: bool = bind_name self, %self.loc126_10.1
|
|
|
+// CHECK:STDOUT: %b.loc126_22.1: bool = param b
|
|
|
+// CHECK:STDOUT: %b.loc126_22.2: bool = bind_name b, %b.loc126_22.1
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: %.1: <witness> = interface_witness (<error>) [template = <error>]
|
|
|
// CHECK:STDOUT:
|
|
|
@@ -449,11 +463,11 @@ class SelfNestedBadReturnType {
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: impl @impl.10: FDifferentParamType as J {
|
|
|
// CHECK:STDOUT: %F: <function> = fn_decl @F.9 [template] {
|
|
|
-// CHECK:STDOUT: %self.loc129_10.1: bool = param self
|
|
|
-// CHECK:STDOUT: %self.loc129_10.2: bool = bind_name self, %self.loc129_10.1
|
|
|
+// CHECK:STDOUT: %self.loc139_10.1: bool = param self
|
|
|
+// CHECK:STDOUT: %self.loc139_10.2: bool = bind_name self, %self.loc139_10.1
|
|
|
// CHECK:STDOUT: %Self.ref: type = name_ref Self, constants.%FDifferentParamType [template = constants.%FDifferentParamType]
|
|
|
-// CHECK:STDOUT: %b.loc129_22.1: FDifferentParamType = param b
|
|
|
-// CHECK:STDOUT: %b.loc129_22.2: FDifferentParamType = bind_name b, %b.loc129_22.1
|
|
|
+// CHECK:STDOUT: %b.loc139_22.1: FDifferentParamType = param b
|
|
|
+// CHECK:STDOUT: %b.loc139_22.2: FDifferentParamType = bind_name b, %b.loc139_22.1
|
|
|
// CHECK:STDOUT: %return.var: ref bool = var <return slot>
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: %.1: <witness> = interface_witness (<error>) [template = <error>]
|
|
|
@@ -466,10 +480,10 @@ class SelfNestedBadReturnType {
|
|
|
// CHECK:STDOUT: impl @impl.11: FDifferentImplicitParamType as J {
|
|
|
// CHECK:STDOUT: %F: <function> = fn_decl @F.10 [template] {
|
|
|
// CHECK:STDOUT: %Self.ref: type = name_ref Self, constants.%FDifferentImplicitParamType [template = constants.%FDifferentImplicitParamType]
|
|
|
-// CHECK:STDOUT: %self.loc141_10.1: FDifferentImplicitParamType = param self
|
|
|
-// CHECK:STDOUT: %self.loc141_10.2: FDifferentImplicitParamType = bind_name self, %self.loc141_10.1
|
|
|
-// CHECK:STDOUT: %b.loc141_22.1: bool = param b
|
|
|
-// CHECK:STDOUT: %b.loc141_22.2: bool = bind_name b, %b.loc141_22.1
|
|
|
+// CHECK:STDOUT: %self.loc152_10.1: FDifferentImplicitParamType = param self
|
|
|
+// CHECK:STDOUT: %self.loc152_10.2: FDifferentImplicitParamType = bind_name self, %self.loc152_10.1
|
|
|
+// CHECK:STDOUT: %b.loc152_22.1: bool = param b
|
|
|
+// CHECK:STDOUT: %b.loc152_22.2: bool = bind_name b, %b.loc152_22.1
|
|
|
// CHECK:STDOUT: %return.var: ref bool = var <return slot>
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: %.1: <witness> = interface_witness (<error>) [template = <error>]
|
|
|
@@ -481,10 +495,10 @@ class SelfNestedBadReturnType {
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: impl @impl.12: FDifferentReturnType as J {
|
|
|
// CHECK:STDOUT: %F: <function> = fn_decl @F.11 [template] {
|
|
|
-// CHECK:STDOUT: %self.loc153_10.1: bool = param self
|
|
|
-// CHECK:STDOUT: %self.loc153_10.2: bool = bind_name self, %self.loc153_10.1
|
|
|
-// CHECK:STDOUT: %b.loc153_22.1: bool = param b
|
|
|
-// CHECK:STDOUT: %b.loc153_22.2: bool = bind_name b, %b.loc153_22.1
|
|
|
+// CHECK:STDOUT: %self.loc165_10.1: bool = param self
|
|
|
+// CHECK:STDOUT: %self.loc165_10.2: bool = bind_name self, %self.loc165_10.1
|
|
|
+// CHECK:STDOUT: %b.loc165_22.1: bool = param b
|
|
|
+// CHECK:STDOUT: %b.loc165_22.2: bool = bind_name b, %b.loc165_22.1
|
|
|
// CHECK:STDOUT: %Self.ref: type = name_ref Self, constants.%FDifferentReturnType [template = constants.%FDifferentReturnType]
|
|
|
// CHECK:STDOUT: %return.var: ref FDifferentReturnType = var <return slot>
|
|
|
// CHECK:STDOUT: }
|
|
|
@@ -497,10 +511,10 @@ class SelfNestedBadReturnType {
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: impl @impl.13: FDifferentParamName as J {
|
|
|
// CHECK:STDOUT: %F: <function> = fn_decl @F.12 [template] {
|
|
|
-// CHECK:STDOUT: %self.loc166_10.1: bool = param self
|
|
|
-// CHECK:STDOUT: %self.loc166_10.2: bool = bind_name self, %self.loc166_10.1
|
|
|
-// CHECK:STDOUT: %not_b.loc166_22.1: bool = param not_b
|
|
|
-// CHECK:STDOUT: %not_b.loc166_22.2: bool = bind_name not_b, %not_b.loc166_22.1
|
|
|
+// CHECK:STDOUT: %self.loc179_10.1: bool = param self
|
|
|
+// CHECK:STDOUT: %self.loc179_10.2: bool = bind_name self, %self.loc179_10.1
|
|
|
+// CHECK:STDOUT: %not_b.loc179_22.1: bool = param not_b
|
|
|
+// CHECK:STDOUT: %not_b.loc179_22.2: bool = bind_name not_b, %not_b.loc179_22.1
|
|
|
// CHECK:STDOUT: %return.var: ref bool = var <return slot>
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: %.1: <witness> = interface_witness (<error>) [template = <error>]
|
|
|
@@ -512,16 +526,16 @@ class SelfNestedBadReturnType {
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: impl @impl.14: SelfNestedBadParam as SelfNested {
|
|
|
// CHECK:STDOUT: %F: <function> = fn_decl @F.14 [template] {
|
|
|
-// CHECK:STDOUT: %SelfNestedBadParam.ref.loc182_14: type = name_ref SelfNestedBadParam, file.%SelfNestedBadParam.decl [template = constants.%SelfNestedBadParam]
|
|
|
-// CHECK:STDOUT: %.loc182_32: type = ptr_type SelfNestedBadParam [template = constants.%.18]
|
|
|
-// CHECK:STDOUT: %.loc182_52: type = struct_type {.x: i32, .y: i32} [template = constants.%.19]
|
|
|
-// CHECK:STDOUT: %.loc182_53.1: (type, type) = tuple_literal (%.loc182_32, %.loc182_52)
|
|
|
-// CHECK:STDOUT: %.loc182_53.2: type = converted %.loc182_53.1, constants.%.20 [template = constants.%.20]
|
|
|
-// CHECK:STDOUT: %x.loc182_10.1: (SelfNestedBadParam*, {.x: i32, .y: i32}) = param x
|
|
|
-// CHECK:STDOUT: %x.loc182_10.2: (SelfNestedBadParam*, {.x: i32, .y: i32}) = bind_name x, %x.loc182_10.1
|
|
|
-// CHECK:STDOUT: %SelfNestedBadParam.ref.loc182_60: type = name_ref SelfNestedBadParam, file.%SelfNestedBadParam.decl [template = constants.%SelfNestedBadParam]
|
|
|
-// CHECK:STDOUT: %.loc182_80: i32 = int_literal 4 [template = constants.%.13]
|
|
|
-// CHECK:STDOUT: %.loc182_81: type = array_type %.loc182_80, SelfNestedBadParam [template = constants.%.21]
|
|
|
+// CHECK:STDOUT: %SelfNestedBadParam.ref.loc196_14: type = name_ref SelfNestedBadParam, file.%SelfNestedBadParam.decl [template = constants.%SelfNestedBadParam]
|
|
|
+// CHECK:STDOUT: %.loc196_32: type = ptr_type SelfNestedBadParam [template = constants.%.18]
|
|
|
+// CHECK:STDOUT: %.loc196_52: type = struct_type {.x: i32, .y: i32} [template = constants.%.19]
|
|
|
+// CHECK:STDOUT: %.loc196_53.1: (type, type) = tuple_literal (%.loc196_32, %.loc196_52)
|
|
|
+// CHECK:STDOUT: %.loc196_53.2: type = converted %.loc196_53.1, constants.%.20 [template = constants.%.20]
|
|
|
+// CHECK:STDOUT: %x.loc196_10.1: (SelfNestedBadParam*, {.x: i32, .y: i32}) = param x
|
|
|
+// CHECK:STDOUT: %x.loc196_10.2: (SelfNestedBadParam*, {.x: i32, .y: i32}) = bind_name x, %x.loc196_10.1
|
|
|
+// CHECK:STDOUT: %SelfNestedBadParam.ref.loc196_60: type = name_ref SelfNestedBadParam, file.%SelfNestedBadParam.decl [template = constants.%SelfNestedBadParam]
|
|
|
+// CHECK:STDOUT: %.loc196_80: i32 = int_literal 4 [template = constants.%.13]
|
|
|
+// CHECK:STDOUT: %.loc196_81: type = array_type %.loc196_80, SelfNestedBadParam [template = constants.%.21]
|
|
|
// CHECK:STDOUT: %return.var: ref [SelfNestedBadParam; 4] = var <return slot>
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: %.1: <witness> = interface_witness (<error>) [template = <error>]
|
|
|
@@ -533,17 +547,17 @@ class SelfNestedBadReturnType {
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: impl @impl.15: SelfNestedBadReturnType as SelfNested {
|
|
|
// CHECK:STDOUT: %F: <function> = fn_decl @F.15 [template] {
|
|
|
-// CHECK:STDOUT: %SelfNestedBadReturnType.ref.loc194_14: type = name_ref SelfNestedBadReturnType, file.%SelfNestedBadReturnType.decl [template = constants.%SelfNestedBadReturnType]
|
|
|
-// CHECK:STDOUT: %.loc194_37: type = ptr_type SelfNestedBadReturnType [template = constants.%.22]
|
|
|
-// CHECK:STDOUT: %SelfNestedBadReturnType.ref.loc194_45: type = name_ref SelfNestedBadReturnType, file.%SelfNestedBadReturnType.decl [template = constants.%SelfNestedBadReturnType]
|
|
|
-// CHECK:STDOUT: %.loc194_77: type = struct_type {.x: SelfNestedBadReturnType, .y: i32} [template = constants.%.23]
|
|
|
-// CHECK:STDOUT: %.loc194_78.1: (type, type) = tuple_literal (%.loc194_37, %.loc194_77)
|
|
|
-// CHECK:STDOUT: %.loc194_78.2: type = converted %.loc194_78.1, constants.%.24 [template = constants.%.24]
|
|
|
-// CHECK:STDOUT: %x.loc194_10.1: (SelfNestedBadReturnType*, {.x: SelfNestedBadReturnType, .y: i32}) = param x
|
|
|
-// CHECK:STDOUT: %x.loc194_10.2: (SelfNestedBadReturnType*, {.x: SelfNestedBadReturnType, .y: i32}) = bind_name x, %x.loc194_10.1
|
|
|
+// CHECK:STDOUT: %SelfNestedBadReturnType.ref.loc208_14: type = name_ref SelfNestedBadReturnType, file.%SelfNestedBadReturnType.decl [template = constants.%SelfNestedBadReturnType]
|
|
|
+// CHECK:STDOUT: %.loc208_37: type = ptr_type SelfNestedBadReturnType [template = constants.%.22]
|
|
|
+// CHECK:STDOUT: %SelfNestedBadReturnType.ref.loc208_45: type = name_ref SelfNestedBadReturnType, file.%SelfNestedBadReturnType.decl [template = constants.%SelfNestedBadReturnType]
|
|
|
+// CHECK:STDOUT: %.loc208_77: type = struct_type {.x: SelfNestedBadReturnType, .y: i32} [template = constants.%.23]
|
|
|
+// CHECK:STDOUT: %.loc208_78.1: (type, type) = tuple_literal (%.loc208_37, %.loc208_77)
|
|
|
+// CHECK:STDOUT: %.loc208_78.2: type = converted %.loc208_78.1, constants.%.24 [template = constants.%.24]
|
|
|
+// CHECK:STDOUT: %x.loc208_10.1: (SelfNestedBadReturnType*, {.x: SelfNestedBadReturnType, .y: i32}) = param x
|
|
|
+// CHECK:STDOUT: %x.loc208_10.2: (SelfNestedBadReturnType*, {.x: SelfNestedBadReturnType, .y: i32}) = bind_name x, %x.loc208_10.1
|
|
|
// CHECK:STDOUT: %SelfNestedBadParam.ref: type = name_ref SelfNestedBadParam, file.%SelfNestedBadParam.decl [template = constants.%SelfNestedBadParam]
|
|
|
-// CHECK:STDOUT: %.loc194_105: i32 = int_literal 4 [template = constants.%.13]
|
|
|
-// CHECK:STDOUT: %.loc194_106: type = array_type %.loc194_105, SelfNestedBadParam [template = constants.%.21]
|
|
|
+// CHECK:STDOUT: %.loc208_105: i32 = int_literal 4 [template = constants.%.13]
|
|
|
+// CHECK:STDOUT: %.loc208_106: type = array_type %.loc208_105, SelfNestedBadParam [template = constants.%.21]
|
|
|
// CHECK:STDOUT: %return.var: ref [SelfNestedBadParam; 4] = var <return slot>
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: %.1: <witness> = interface_witness (<error>) [template = <error>]
|
|
|
@@ -694,31 +708,31 @@ class SelfNestedBadReturnType {
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: fn @PossiblyF();
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @F.2(@impl.4.%b.loc54_10.2: bool);
|
|
|
+// CHECK:STDOUT: fn @F.2(@impl.4.%b.loc58_10.2: bool);
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @F.3[@impl.5.%self.loc66_10.2: FExtraImplicitParam]();
|
|
|
+// CHECK:STDOUT: fn @F.3[@impl.5.%self.loc71_10.2: FExtraImplicitParam]();
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: fn @F.4() -> bool;
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @F.5[@J.%self.loc83_20.2: bool](@J.%b.loc83_32.2: bool) -> bool;
|
|
|
+// CHECK:STDOUT: fn @F.5[@J.%self.loc89_20.2: bool](@J.%b.loc89_32.2: bool) -> bool;
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @F.6[@impl.7.%self.loc93_10.2: bool]() -> bool;
|
|
|
+// CHECK:STDOUT: fn @F.6[@impl.7.%self.loc100_10.2: bool]() -> bool;
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @F.7(@impl.8.%b.loc105_10.2: bool) -> bool;
|
|
|
+// CHECK:STDOUT: fn @F.7(@impl.8.%b.loc113_10.2: bool) -> bool;
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @F.8[@impl.9.%self.loc117_10.2: bool](@impl.9.%b.loc117_22.2: bool);
|
|
|
+// CHECK:STDOUT: fn @F.8[@impl.9.%self.loc126_10.2: bool](@impl.9.%b.loc126_22.2: bool);
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @F.9[@impl.10.%self.loc129_10.2: bool](@impl.10.%b.loc129_22.2: FDifferentParamType) -> bool;
|
|
|
+// CHECK:STDOUT: fn @F.9[@impl.10.%self.loc139_10.2: bool](@impl.10.%b.loc139_22.2: FDifferentParamType) -> bool;
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @F.10[@impl.11.%self.loc141_10.2: FDifferentImplicitParamType](@impl.11.%b.loc141_22.2: bool) -> bool;
|
|
|
+// CHECK:STDOUT: fn @F.10[@impl.11.%self.loc152_10.2: FDifferentImplicitParamType](@impl.11.%b.loc152_22.2: bool) -> bool;
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @F.11[@impl.12.%self.loc153_10.2: bool](@impl.12.%b.loc153_22.2: bool) -> <error>;
|
|
|
+// CHECK:STDOUT: fn @F.11[@impl.12.%self.loc165_10.2: bool](@impl.12.%b.loc165_22.2: bool) -> <error>;
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @F.12[@impl.13.%self.loc166_10.2: bool](@impl.13.%not_b.loc166_22.2: bool) -> bool;
|
|
|
+// CHECK:STDOUT: fn @F.12[@impl.13.%self.loc179_10.2: bool](@impl.13.%not_b.loc179_22.2: bool) -> bool;
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @F.13(@SelfNested.%x.loc171_8.2: (Self*, {.x: Self, .y: i32})) -> @SelfNested.%return.var: [Self; 4];
|
|
|
+// CHECK:STDOUT: fn @F.13(@SelfNested.%x.loc184_8.2: (Self*, {.x: Self, .y: i32})) -> @SelfNested.%return.var: [Self; 4];
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @F.14(@impl.14.%x.loc182_10.2: (SelfNestedBadParam*, {.x: i32, .y: i32})) -> <error>;
|
|
|
+// CHECK:STDOUT: fn @F.14(@impl.14.%x.loc196_10.2: (SelfNestedBadParam*, {.x: i32, .y: i32})) -> <error>;
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @F.15(@impl.15.%x.loc194_10.2: (SelfNestedBadReturnType*, {.x: SelfNestedBadReturnType, .y: i32})) -> @impl.15.%return.var: [SelfNestedBadParam; 4];
|
|
|
+// CHECK:STDOUT: fn @F.15(@impl.15.%x.loc208_10.2: (SelfNestedBadReturnType*, {.x: SelfNestedBadReturnType, .y: i32})) -> @impl.15.%return.var: [SelfNestedBadParam; 4];
|
|
|
// CHECK:STDOUT:
|