Richard Smith 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
..
fail_anonymous.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_different_type.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_different_value.carbon 374bf9f853 Require convertibility to the type of the associated constant when checking a rewrite constraint. (#2321) vor 3 Jahren
fail_equal_indirectly.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_equal_to_dependent_type.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_implied_constraints.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_incomplete_impl_1.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_incomplete_impl_2.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_indirectly_equal.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_match_in_deduction.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_missing_equal.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_missing_rewrite.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_multi_impl_scoping.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_multiple_deduction.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_overspecified_impl.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_redefined.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_rewrite_creates_infinite_type.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_rewrite_cycle.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_rewrite_depends_on_later_rewrite.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_simple_rewrite_cycle_1.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_simple_rewrite_cycle_2.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_unknown_value.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
fail_unknown_value_specified_in_constraint.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
impl_lookup.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
impl_used_by_later_rewrite.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
implement.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) vor 3 Jahren
lookup_in_rewrite.carbon 9c8fd6864e Implement rename `me` -> `self` (#2444) vor 3 Jahren
member_of_value.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) vor 3 Jahren
pass_equal_to_rewrite.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
pass_rewrite_to_equal.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
resolve_rewrites.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
rewrite_depends_on_prior_rewrite.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
rewrite_interface_params.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
rewrite_large_type.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
simple_constraint.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren
simple_equality.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) vor 3 Jahren