首页 发现 帮助
登录
tomteb
/
carbon-lang
1
0
派生 0
文件 工单管理 0 合并请求 0 Wiki
目录树: 46bb0fecd4
分支列表 标签列表
carbon-lang
/
toolchain
/
check
/
testdata
/
impl
/
lookup
Dana Jansens 46bb0fecd4 Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132) 4 天之前
..
alias.carbon e0c6800ab3 Reverse nesting structure of parameter patterns (#6930) 1 月之前
canonical_query_self.carbon 554b1b8d10 Remove SymbolicBindingType (#7114) 1 周之前
fail_alias_impl_not_found.carbon e0c6800ab3 Reverse nesting structure of parameter patterns (#6930) 1 月之前
fail_function_types.carbon fbc8d59d32 Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761) 2 月之前
fail_todo_undefined_impl.carbon cea52ad2d8 Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798) 2 月之前
find_in_final.carbon 9266ced4e3 Improve CanDestroyType to handle remaining cases (#6943) 1 月之前
generic.carbon 554b1b8d10 Remove SymbolicBindingType (#7114) 1 周之前
impl_cycle.carbon fdb188ccfd Implement unused pattern bindings, continued (#6518) 2 月之前
impl_forall.carbon 4c9049346d Replace form insts with actions (#7100) 6 天之前
impl_overlap.carbon 35d505a985 Check the orphan rule for impls (#6488) 4 月之前
impl_overlap_wrapped_types.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 月之前
import.carbon 4c9049346d Replace form insts with actions (#7100) 6 天之前
import_error.carbon fbc8d59d32 Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761) 2 月之前
import_final.carbon fdb188ccfd Implement unused pattern bindings, continued (#6518) 2 月之前
instance_method.carbon 554b1b8d10 Remove SymbolicBindingType (#7114) 1 周之前
lookup_interface_with_enclosing_generic_inside_rewrite_constraint.carbon 46bb0fecd4 Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132) 4 天之前
overlap_with_non_types.carbon d17188208c Apply min-preludes to more tests (part 7) (#5704) 10 月之前
specialization.carbon fbc8d59d32 Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761) 2 月之前
specialization_poison.carbon fdb188ccfd Implement unused pattern bindings, continued (#6518) 2 月之前
specialization_with_symbolic_rewrite.carbon 46bb0fecd4 Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132) 4 天之前
specific_args.carbon 554b1b8d10 Remove SymbolicBindingType (#7114) 1 周之前
struct.carbon fdb188ccfd Implement unused pattern bindings, continued (#6518) 2 月之前
symbolic_lookup.carbon fdb188ccfd Implement unused pattern bindings, continued (#6518) 2 月之前
transitive.carbon 554b1b8d10 Remove SymbolicBindingType (#7114) 1 周之前
unused_generic_binding.carbon fdb188ccfd Implement unused pattern bindings, continued (#6518) 2 月之前
use_impl_from_definition.carbon d6be20641c Use earlier `require` decls inside a named constraint to provide witnesses for `Self` (#6915) 1 月之前