carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-10-04 12:31:04 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

added a test for definition-side checking with expected failure (#673)

Browse Source
This commit is contained in:
Jeremy G. Siek
2021-07-23 11:42:07 -04:00
committed by GitHub
parent edbc3f7716
commit a1c164f598
3 changed files with 16 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
executable_semantics/testdata/generic_function_fail3.golden
Vendored
+4
View File
@@ -0,0 +1,4 @@
ERROR: 6: type error in addition(1)
expected: Int
actual: T
EXIT CODE: 255