2020-06-04 11:47:55 -07:00
|
|
|
# This tests that types that fail generic tests don't create types referenced in methods
|
|
|
|
|
# and also that they get deleted immediately when they are dereferenced.
|
|
|
|
|
|
|
|
|
|
ShowFile("src/Program.bf")
|
|
|
|
|
|
|
|
|
|
SetExpectError("Generic argument")
|
2020-07-19 11:07:18 -07:00
|
|
|
SetExpectError("Unable to implicitly cast")
|
2020-06-04 11:47:55 -07:00
|
|
|
Compile()
|
|
|
|
|
ExpectError()
|
|
|
|
|
|
|
|
|
|
AssertTypeInfo(1, "System.Collections.Dictionary<System.Collections.Dictionary<int, float>.Enumerator, (int key, float value)>", "Found Reified ValidateErrors")
|
2022-05-13 13:16:31 -07:00
|
|
|
AssertTypeInfo(1, "System.Collections.Dictionary<System.Collections.Dictionary<int, float>.Enumerator, (int key, float value)>.Entry", "Found Reified")
|
2020-06-04 11:47:55 -07:00
|
|
|
|
|
|
|
|
ToggleCommentAt("Method3_BadCall")
|
|
|
|
|
ToggleCommentAt("Method3_GoodCall")
|
|
|
|
|
|
|
|
|
|
Compile()
|
|
|
|
|
|
|
|
|
|
AssertTypeInfo(0, "System.Collections.Dictionary<System.Collections.Dictionary<int, float>.Enumerator, (int key, float value)>", "")
|
|
|
|
|
AssertTypeInfo(0, "System.Collections.Dictionary<System.Collections.Dictionary<int, float>.Enumerator, (int key, float value)>.Entry", "")
|
|
|
|
|
AssertTypeInfo(0, "System.Collections.Dictionary<System.Collections.Dictionary<int, float>.Enumerator, (int key, float value)>", "")
|
|
|
|
|
AssertTypeInfo(0, "System.Collections.Dictionary<System.Collections.Dictionary<int, float>.Enumerator, (int key, float value)>.Entry", "")
|
