Harden M0 template specialization and closure diagnostics

Author: yuechen-li-dev

Language/Types/ParametricsM0/invalid/recursive_instantiation.octfail

@@ -1,9 +1,13 @@
-expect error: "infinite template instantiation detected"
+expect error: "possible infinite type-growth specialization"
 
 package ParametricsM0InvalidRecursion
 
+template record Box<T> {
+    Value: T
+}
+
 template fn Recur<T>(value: T) -> T {
-    return Recur<T>(value)
+    return Recur<Box<T>>(Box<T> {Value: value}).Value
 }
 
 fn Main() -> Int {

Language/Types/TemplateTortureM0/invalid/dimensional_transformation.octfail

@@ -0,0 +1,11 @@
+expect error: "function expects Float<m>, but return is Float<m^2>"
+
+package TemplateTortureDimensionalInvalid
+
+template fn SquareSameType<T>(value: T) -> T {
+    return value * value
+}
+
+fn Main() -> Float<m> {
+    return SquareSameType<Float<m>>(2.0m)
+}

Language/Types/TemplateTortureM0/invalid/infinite_type_growth.octfail

@@ -0,0 +1,13 @@
+expect error: "possible infinite type-growth specialization"
+
+package TemplateTortureGrowthInvalid
+
+template record Box<T> {Value: T}
+
+template fn Grow<T>(value: T) -> T {
+    return Grow<Box<T>>(Box<T> {Value: value}).Value
+}
+
+fn Main() -> Int {
+    return Grow<Int>(1)
+}

Language/Types/TemplateTortureM0/invalid/non_template_type_arguments.octfail

@@ -0,0 +1,9 @@
+expect error: "does not accept type arguments"
+
+package TemplateTortureOrdinaryGenericInvalid
+
+fn Identity(value: Int) -> Int {return value}
+
+fn Main() -> Int {
+    return Identity<Int>(1)
+}

Language/Types/TemplateTortureM0/invalid/nonnumeric_conditional_invalidity.octfail

@@ -0,0 +1,11 @@
+expect error: "not defined for String and String"
+
+package TemplateTortureNonnumericInvalid
+
+template fn SquareSameType<T>(value: T) -> T {
+    return value * value
+}
+
+fn Main() -> String {
+    return SquareSameType<String>("bad")
+}

Language/Types/TemplateTortureM0/invalid/ode_dimension_mismatch.octfail

@@ -0,0 +1,11 @@
+expect error: "cannot add m and m*s"
+
+package TemplateTortureODEInvalid
+
+template fn EulerStep<State, Derivative, Time>(state: State, derivative: Derivative, dt: Time) -> State {
+    return state + derivative * dt
+}
+
+fn Main() -> Float<m> {
+    return EulerStep<Float<m>, Float<m>, Float<s>>(1.0m, 3.0m, 2.0s)
+}

Language/Types/TemplateTortureM0/invalid/refined_concept_admission.octfail

@@ -0,0 +1,15 @@
+expect error: "invalid compile-time-known construction of refined concept PositiveLength"
+
+package TemplateTortureRefinementInvalid
+
+concept PositiveLength = Float<m> {
+    Require(Self > 0.0m, "length must be positive")
+}
+
+template fn Preserve<T>(value: T) -> T {
+    return value
+}
+
+fn Main() -> PositiveLength {
+    return Preserve<PositiveLength>(-1.0m)
+}

Language/Types/TemplateTortureM0/invalid/template_enum_not_supported.octfail

@@ -0,0 +1,8 @@
+expect error: "expected 'record', 'fn', 'flow', or 'query' after 'template'"
+
+package TemplateTortureEnumInvalid
+
+template enum Option<T> {
+    None
+    Some(T)
+}

Language/Types/TemplateTortureM0/invalid/type_parameter_used_as_value.octfail

@@ -0,0 +1,11 @@
+expect error: "undefined variable: T"
+
+package TemplateTortureTypeParameterValueInvalid
+
+template fn TypeIsNotAValue<T>() -> Int {
+    return T
+}
+
+fn Main() -> Int {
+    return TypeIsNotAValue<Int>()
+}

Language/Types/TemplateTortureM0/invalid/wrong_type_argument_count.octfail

@@ -0,0 +1,11 @@
+expect error: "expects 2 type arguments, got 1"
+
+package TemplateTortureArityInvalid
+
+template fn Choose<T, U>(value: T, fallback: U) -> T {
+    return value
+}
+
+fn Main() -> Int {
+    return Choose<Int>(1, 2)
+}