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

Added TypeCheckTypeExp() and changed function type literal and similar type-checking logic to use the new function (#1256)

Browse Source
This commit is contained in:
pk19604014
2022-05-23 16:26:35 -07:00
committed by GitHub
parent cdc9428984
commit f0a34e4bf7
8 changed files with 117 additions and 49 deletions
Download Patch File Download Diff File Expand all files Collapse all files
explorer/testdata/impl/fail_impl_as_parameterized.carbon
Vendored
+2 -5
View File
@@ -10,11 +10,8 @@
package ExplorerTest api;
interface Vector(Scalar:! Type) {
}
// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/impl/fail_impl_as_parameterized.carbon:[[@LINE+1]]: expected constraint after `as`, found value of type Vector
external impl i32 as Vector {}
// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/impl/fail_impl_as_parameterized.carbon:[[@LINE+1]]: expected constraint after `as`, found value of type String
external impl i32 as String {}
fn Main() -> i32 {
}