首页 发现 帮助
登录
tomteb
/
carbon-lang
1
0
派生 0
文件 工单管理 0 合并请求 0 Wiki
目录树: b9bd7e1eff
分支列表 标签列表
carbon-lang
/
explorer
/
testdata
/
assoc_const
josh11b 46503c0a9d Explorer and toolchain changes to implement #2483 (#2707) 3 年之前
..
bug_multi_impl_scoping.carbon 28946d4b87 Order impl matching by type structure (#2691) 3 年之前
fail_anonymous.carbon e0c90767be Support for templated impl declarations (#2700) 3 年之前
fail_different_type.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 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 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
fail_equal_to_dependent_type.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
fail_implied_constraints.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
fail_incomplete_impl_1.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
fail_incomplete_impl_2.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
fail_indirectly_equal.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
fail_match_in_deduction.carbon 0e41c569b1 Implement the termination algorithm for impl selection described in #2458 (#2602) 3 年之前
fail_missing_equal.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
fail_missing_rewrite.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
fail_multiple_deduction.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
fail_overspecified_impl.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
fail_redefined.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
fail_rewrite_creates_infinite_type.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
fail_rewrite_cycle.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
fail_rewrite_depends_on_later_rewrite.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
fail_simple_rewrite_cycle_1.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
fail_simple_rewrite_cycle_2.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
fail_unknown_value.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
fail_unknown_value_specified_in_constraint.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
impl_lookup.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
impl_used_by_later_rewrite.carbon 46503c0a9d Explorer and toolchain changes to implement #2483 (#2707) 3 年之前
implement.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 年之前
lookup_in_rewrite.carbon 9c8fd6864e Implement rename `me` -> `self` (#2444) 3 年之前
member_of_value.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 年之前
pass_equal_to_rewrite.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
pass_rewrite_to_equal.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
resolve_rewrites.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
rewrite_depends_on_prior_rewrite.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
rewrite_interface_params.carbon 46503c0a9d Explorer and toolchain changes to implement #2483 (#2707) 3 年之前
rewrite_large_type.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
simple_constraint.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前
simple_equality.carbon 4daaa4866f Rename `Type` -> `type`, per #2360. (#2507) 3 年之前