Главная Обзор Помощь
Вход
tomteb
/
carbon-lang
1
0
Ответвить 0
Файлы Задачи 0 Запросы на слияние 0 Вики
Дерево: 9107916b11
Ветки Метки
carbon-lang
/
explorer
/
testdata
/
assoc_const
Richard Smith f46eaf49a2 Compute a fixed point of rewrite constraints. (#2350) 3 лет назад
..
fail_anonymous.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 лет назад
fail_different_type.carbon 374bf9f853 Require convertibility to the type of the associated constant when checking a rewrite constraint. (#2321) 3 лет назад
fail_different_value.carbon 374bf9f853 Require convertibility to the type of the associated constant when checking a rewrite constraint. (#2321) 3 лет назад
fail_equal_indirectly.carbon 374bf9f853 Require convertibility to the type of the associated constant when checking a rewrite constraint. (#2321) 3 лет назад
fail_equal_to_dependent_type.carbon 374bf9f853 Require convertibility to the type of the associated constant when checking a rewrite constraint. (#2321) 3 лет назад
fail_implied_constraints.carbon 5c3f48b0fb Distinguish between the symbolic .Self value for an associated constant and the value found when referencing one. (#2348) 3 лет назад
fail_incomplete_impl_1.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 лет назад
fail_incomplete_impl_2.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 лет назад
fail_indirectly_equal.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 лет назад
fail_match_in_deduction.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 лет назад
fail_missing_equal.carbon 374bf9f853 Require convertibility to the type of the associated constant when checking a rewrite constraint. (#2321) 3 лет назад
fail_missing_rewrite.carbon 374bf9f853 Require convertibility to the type of the associated constant when checking a rewrite constraint. (#2321) 3 лет назад
fail_multi_impl_scoping.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 лет назад
fail_multiple_deduction.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 лет назад
fail_overspecified_impl.carbon adc78fbdb0 Defer resolving rewrites until we apply a constraint to a binding (#2333) 3 лет назад
fail_redefined.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 лет назад
fail_rewrite_creates_infinite_type.carbon f46eaf49a2 Compute a fixed point of rewrite constraints. (#2350) 3 лет назад
fail_rewrite_cycle.carbon f46eaf49a2 Compute a fixed point of rewrite constraints. (#2350) 3 лет назад
fail_rewrite_depends_on_later_rewrite.carbon bc7bf325d6 Set the value of `.Self` in a where to that of the outer `.Self`. (#2344) 3 лет назад
fail_simple_rewrite_cycle_1.carbon f46eaf49a2 Compute a fixed point of rewrite constraints. (#2350) 3 лет назад
fail_simple_rewrite_cycle_2.carbon f46eaf49a2 Compute a fixed point of rewrite constraints. (#2350) 3 лет назад
fail_unknown_value.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 лет назад
fail_unknown_value_specified_in_constraint.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 лет назад
impl_lookup.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 лет назад
impl_used_by_later_rewrite.carbon 5c3f48b0fb Distinguish between the symbolic .Self value for an associated constant and the value found when referencing one. (#2348) 3 лет назад
implement.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 лет назад
lookup_in_rewrite.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 лет назад
member_of_value.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 лет назад
pass_equal_to_rewrite.carbon 3578f2b214 Fix AUTOUPDATE lines in new tests (#2306) 3 лет назад
pass_rewrite_to_equal.carbon 3578f2b214 Fix AUTOUPDATE lines in new tests (#2306) 3 лет назад
resolve_rewrites.carbon f46eaf49a2 Compute a fixed point of rewrite constraints. (#2350) 3 лет назад
rewrite_depends_on_prior_rewrite.carbon 374bf9f853 Require convertibility to the type of the associated constant when checking a rewrite constraint. (#2321) 3 лет назад
rewrite_interface_params.carbon f46eaf49a2 Compute a fixed point of rewrite constraints. (#2350) 3 лет назад
rewrite_large_type.carbon f46eaf49a2 Compute a fixed point of rewrite constraints. (#2350) 3 лет назад
simple_constraint.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 лет назад
simple_equality.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 лет назад