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
25d1b62df04f54db8b415b66c035827aaa450045
carbon-lang/explorer/testdata/function
T
History
Richard Smith 9e8cacae00 Implement support for named constraints (#2359) 
Basic support for named constraints as described in [the generics design](https://github.com/carbon-language/carbon-lang/blob/trunk/docs/design/generics/details.md#named-constraints). Support is provided for `extends` and `impl` declarations in `constraint`, but not yet for member aliases.

The missing prelude named constraints `Add`, `Mul`, `Ordered`, etc. are also added.
2022-11-04 16:23:02 -07:00
..
auto_return
Implement support for named constraints (#2359)
2022-11-04 16:23:02 -07:00
convert_args.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
empty_params.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_call_undefined_main.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_call_undefined.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_call_with_tuple.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_invalid_fnty.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_match_no_return.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_match_partial_return.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_non_exhaustive_match.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_parameter_type.carbon
Make type contexts expect a value of type Type. (#2357)
2022-10-28 08:20:49 -07:00
fail_recurse_before_typecheck.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_recurse_in_return_type.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_return_call_has_invalid_body.carbon
Make type contexts expect a value of type Type. (#2357)
2022-10-28 08:20:49 -07:00
fail_var_type_is_call.carbon
Make type contexts expect a value of type Type. (#2357)
2022-10-28 08:20:49 -07:00
fnty.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
ignored_parameter.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
multiple_args.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
non_exhaustive_match_no_return_type.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
non_exhaustive_match_return.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
param_lifetime.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
recursive.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
return_convertible_to_type.carbon
Make type contexts expect a value of type Type. (#2357)
2022-10-28 08:20:49 -07:00
return_exhaustive_match.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
return.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
type_match.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00