carbon-language/carbon-lang
1
0 Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-11-15 13:18:30 +00:00
Code Issues Packages Projects Releases 10 Wiki Activity
Files
2b5f90cd744cc65db8871a1b90f615280ea9e131
carbon-lang/toolchain/check/testdata/impl
T
History
Dana Jansens 2b5f90cd74 Diagnose a witness table entry being set to multiple different values (#7996) 
If the entry is set to the same value, accept it. If it's a different
value, diagnose it.
2026-10-19 19:35:11 +00:00
..
custom_witness
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
lookup
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
access.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
assoc_const_self.carbon
Allow the use of early impls constraints when forming a specific using .Self (#7980)
2026-10-15 21:03:34 +00:00
basic.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
compound.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
declaration.carbon
Defer evaluation of witnesses substituted while identifying a facet type (#7930)
2026-10-14 14:12:56 +00:00
empty.carbon
Defer evaluation of witnesses substituted while identifying a facet type (#7930)
2026-10-14 14:12:56 +00:00
error_recovery.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
eval_musteval.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
extend_final.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
extend_impl_generic.carbon
Use specific_constant when referring to name in enclosing generic (#7936)
2026-10-15 02:00:24 +00:00
extend_impl.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
fail_alias.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
fail_call_invalid.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
fail_extend_impl_forall.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
fail_extend_impl_scope.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
fail_extend_impl_type_as.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
fail_extend_non_interface.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
fail_extend_partially_defined_interface.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
fail_extend_undefined_interface.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
fail_impl_as_scope.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
fail_impl_bad_assoc_const.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
fail_impl_bad_assoc_fn.carbon
Use a fallback loc for diagnostics generated on canonical insts (#7967)
2026-10-15 19:03:10 +00:00
fail_impl_bad_interface.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
fail_impl_bad_type.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
fail_redefinition.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
fail_self_type_mismatch.carbon
Use a fallback loc for diagnostics generated on canonical insts (#7967)
2026-10-15 19:03:10 +00:00
forward_decls.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
generic_redeclaration.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
impl_as_named_constraint.carbon
Diagnose a witness table entry being set to multiple different values (#7996)
2026-10-19 19:35:11 +00:00
impl_as.carbon
Defer evaluation of witnesses substituted while identifying a facet type (#7930)
2026-10-14 14:12:56 +00:00
impl_assoc_const_with_prelude.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
impl_assoc_const.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
impl_assoc_fn_as_alias.carbon
Defer evaluation of witnesses substituted while identifying a facet type (#7930)
2026-10-14 14:12:56 +00:00
impl_forall.carbon
Be robust against an ErrorInst as the self when identifying (#7986)
2026-10-15 22:19:39 +00:00
impl_inside_interface.carbon
Add interface modifiers (#7625)
2026-08-17 20:49:23 +00:00
impl_self_as.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
impl_thunk_min_prelude.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
impl_thunk.carbon
Use a fallback loc for diagnostics generated on canonical insts (#7967)
2026-10-15 19:03:10 +00:00
impl_where_redecl.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
import_builtin_call.carbon
Defer evaluation of witnesses substituted while identifying a facet type (#7930)
2026-10-14 14:12:56 +00:00
import_canonical_witnesses.carbon
Replace :! binding syntax with phase keywords and contextual defaults (#7479)
2026-07-11 01:22:44 +00:00
import_compound.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
import_extend_impl.carbon
Defer evaluation of witnesses substituted while identifying a facet type (#7930)
2026-10-14 14:12:56 +00:00
import_generic.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
import_impl_with_no_interface.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
import_interface_assoc_const.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
import_self_specific.carbon
Defer evaluation of witnesses substituted while identifying a facet type (#7930)
2026-10-14 14:12:56 +00:00
import_self.carbon
Defer evaluation of witnesses substituted while identifying a facet type (#7930)
2026-10-14 14:12:56 +00:00
import_thunk.carbon
Use a fallback loc for diagnostics generated on canonical insts (#7967)
2026-10-15 19:03:10 +00:00
import_use_generic.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
incomplete.carbon
Allow the use of early impls constraints when forming a specific using .Self (#7980)
2026-10-15 21:03:34 +00:00
interface_args.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
multiple_extend.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
name_lookup_in_impl_definition.carbon
Defer evaluation of witnesses substituted while identifying a facet type (#7930)
2026-10-14 14:12:56 +00:00
name_poisoning.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
no_definition_in_impl_file.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
orphan.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
period_self.carbon
Handle ImplSelfWitness appearing in the RHS of a rewrite constraint in impl decl (#7943)
2026-10-14 17:54:41 +00:00
redeclaration.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
reenter_scopes.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
require_satisified_in_interface.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
require_satisified_in_named_constraint.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
rewrites.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00
self_in_class.carbon
Defer evaluation of witnesses substituted while identifying a facet type (#7930)
2026-10-14 14:12:56 +00:00
self_in_signature.carbon
Defer evaluation of witnesses substituted while identifying a facet type (#7930)
2026-10-14 14:12:56 +00:00
todo_impl_with_unrelated_fn.carbon
Defer evaluation of witnesses substituted while identifying a facet type (#7930)
2026-10-14 14:12:56 +00:00
use_assoc_entity.carbon
Use a fallback loc for diagnostics generated on canonical insts (#7967)
2026-10-15 19:03:10 +00:00
using_invalid_interface.carbon
Render diagnostics through the terminal library (#7683)
2026-10-15 06:08:57 +00:00