carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-09-24 22:02:23 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity
Files
62fe0cd385f3fc708eac016b1d00af8772db228f
carbon-lang/toolchain/check/testdata/function/generic
T
History
Richard Smith e0b8728263 Allocate de Bruijn levels to symbolic bindings. (#3906) 
Use a level comparison during substitution to determine whether we're
substituting a particular binding. Evaluate symbolic bindings with the
same name and the same level to the same symbolic constant, for example
across redeclarations of a generic function.
2024-04-23 16:15:47 +00:00
..
fail_todo_param_in_type.carbon
Allocate de Bruijn levels to symbolic bindings. (#3906)
2024-04-23 16:15:47 +00:00
fail_type_param_mismatch.carbon
Allocate de Bruijn levels to symbolic bindings. (#3906)
2024-04-23 16:15:47 +00:00
redeclare.carbon
Allocate de Bruijn levels to symbolic bindings. (#3906)
2024-04-23 16:15:47 +00:00
type_param_scope.carbon
Allocate de Bruijn levels to symbolic bindings. (#3906)
2024-04-23 16:15:47 +00:00
type_param.carbon
Allocate de Bruijn levels to symbolic bindings. (#3906)
2024-04-23 16:15:47 +00:00