Richard Smith adc78fbdb0 Defer resolving rewrites until we apply a constraint to a binding (#2333) ...

Instead of checking and resolving rewrites eagerly, defer doing so until a constraint is applied to a binding. Actual resolution of rewrites is not yet implemented, so this is mostly just refactoring, but the eventual goal is to support things like `(Constraint where .T = .U) & (Constraint where .U = V)` (however they are reached) by applying one rewrite to the other, as agreed with @josh11b in discussion of #2173.

One nice consequence is that substitution into a constraint type no longer has a failure path, so substitution is once again not able to fail.

2022-10-24 15:50:31 -07:00

..

fail_anonymous.carbon

Automate the addition of RUN and simplify RUN lines (#2292)

2022-10-17 13:52:37 -07:00

fail_different_type.carbon

Require convertibility to the type of the associated constant when checking a rewrite constraint. (#2321)

2022-10-20 16:18:26 -07:00

fail_different_value.carbon

Require convertibility to the type of the associated constant when checking a rewrite constraint. (#2321)

2022-10-20 16:18:26 -07:00

fail_equal_indirectly.carbon

Require convertibility to the type of the associated constant when checking a rewrite constraint. (#2321)

2022-10-20 16:18:26 -07:00

fail_equal_to_dependent_type.carbon

Require convertibility to the type of the associated constant when checking a rewrite constraint. (#2321)

2022-10-20 16:18:26 -07:00

fail_impl_used_by_later_rewrite.carbon

Defer resolving rewrites until we apply a constraint to a binding (#2333)

2022-10-24 15:50:31 -07:00

fail_implied_constraints.carbon

Require convertibility to the type of the associated constant when checking a rewrite constraint. (#2321)

2022-10-20 16:18:26 -07:00

fail_incomplete_impl_1.carbon

Check equality constraints when checking whether a constraint is satisfied (#2294)

2022-10-17 22:07:19 -07:00

fail_incomplete_impl_2.carbon

Check equality constraints when checking whether a constraint is satisfied (#2294)

2022-10-17 22:07:19 -07:00

fail_indirectly_equal.carbon

Check equality constraints when checking whether a constraint is satisfied (#2294)

2022-10-17 22:07:19 -07:00

fail_match_in_deduction.carbon

Check equality constraints when checking whether a constraint is satisfied (#2294)

2022-10-17 22:07:19 -07:00

fail_missing_equal.carbon

Require convertibility to the type of the associated constant when checking a rewrite constraint. (#2321)

2022-10-20 16:18:26 -07:00

fail_missing_rewrite.carbon

Require convertibility to the type of the associated constant when checking a rewrite constraint. (#2321)

2022-10-20 16:18:26 -07:00

fail_multi_impl_scoping.carbon

Check equality constraints when checking whether a constraint is satisfied (#2294)

2022-10-17 22:07:19 -07:00

fail_multiple_deduction.carbon

Check equality constraints when checking whether a constraint is satisfied (#2294)

2022-10-17 22:07:19 -07:00

fail_overspecified_impl.carbon

Defer resolving rewrites until we apply a constraint to a binding (#2333)

2022-10-24 15:50:31 -07:00

fail_redefined.carbon

Automate the addition of RUN and simplify RUN lines (#2292)

2022-10-17 13:52:37 -07:00

fail_rewrite_depends_on_later_rewrite.carbon

Require convertibility to the type of the associated constant when checking a rewrite constraint. (#2321)

2022-10-20 16:18:26 -07:00

fail_unknown_value_specified_in_constraint.carbon

Check equality constraints when checking whether a constraint is satisfied (#2294)

2022-10-17 22:07:19 -07:00

fail_unknown_value.carbon

Check equality constraints when checking whether a constraint is satisfied (#2294)

2022-10-17 22:07:19 -07:00

impl_lookup.carbon

Check equality constraints when checking whether a constraint is satisfied (#2294)

2022-10-17 22:07:19 -07:00

implement.carbon

Check equality constraints when checking whether a constraint is satisfied (#2294)

2022-10-17 22:07:19 -07:00

lookup_in_rewrite.carbon

Automate the addition of RUN and simplify RUN lines (#2292)

2022-10-17 13:52:37 -07:00

member_of_value.carbon

Check equality constraints when checking whether a constraint is satisfied (#2294)

2022-10-17 22:07:19 -07:00

pass_equal_to_rewrite.carbon

Fix AUTOUPDATE lines in new tests (#2306)

2022-10-18 11:26:30 -07:00

pass_rewrite_to_equal.carbon

Fix AUTOUPDATE lines in new tests (#2306)

2022-10-18 11:26:30 -07:00

rewrite_depends_on_prior_rewrite.carbon

Require convertibility to the type of the associated constant when checking a rewrite constraint. (#2321)

2022-10-20 16:18:26 -07:00

simple_constraint.carbon

Check equality constraints when checking whether a constraint is satisfied (#2294)

2022-10-17 22:07:19 -07:00

simple_equality.carbon

Check equality constraints when checking whether a constraint is satisfied (#2294)

2022-10-17 22:07:19 -07:00