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
b4418e29ecf15564bda9d0438fc7d4e3cfa26c29
carbon-lang/explorer/testdata/constraint
T
History
Richard Smith b4418e29ec Properly check that a constraint appears after is. (#2304) 
In particular, if we find the name of an interface after `is`, it should
be exapnded to a constraint, including any implied constraints such as
extended interfaces, rather than forming a constraint requiring only
that interface in isolation.
2022-10-18 09:07:58 -07:00
..
binding_dot_self_in_constraint.carbon
Fix test failures caused by interaction between #2294 and #2292. (#2303)
2022-10-18 08:53:12 -07:00
binding_self.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
combined_interfaces.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
dot_self_is_other.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_ambiguous_member.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_combine_equality.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_dot_self_after_scope_2.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_dot_self_after_scope.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_dot_self_not_in_scope.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_infinite_self_ptr.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_infinite_self.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_missing_member.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_non_type_self.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_where_equals_different_types.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_where_is_non_constraint.carbon
Properly check that a constraint appears after is. (#2304)
2022-10-18 09:07:58 -07:00
fail_where_is_non_type.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
fail_where_non_type_is.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
nondependent_where.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
qualified_lookup_in_where.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
rewrite_compound_2.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
rewrite_compound.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
rewrite_in_qualifier_and_type.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
rewrite_in_qualifier.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
rewrite.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00
where_is.carbon
Properly check that a constraint appears after is. (#2304)
2022-10-18 09:07:58 -07:00
where_self.carbon
Automate the addition of RUN and simplify RUN lines (#2292)
2022-10-17 13:52:37 -07:00