carbon-language/carbon-lang
1
0 Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-11-15 13:38:29 +00:00
Code Issues Packages Projects Releases 10 Wiki Activity
Files
trunk
carbon-lang/toolchain/check/testdata/impl
T
History
Dana Jansens c0b2cc5921 Parse where assignment declarations in impl definitions (#8136) 
These were introduced in proposal #5168.

Details:
https://github.com/carbon-language/carbon-lang/blob/b7ea32c3a49620fae12f0b2298c81d429a20eab3/proposals/p005168-forward-impl-declaration-of-an-incomplete-interface.md#associated-constants-may-be-assigned-in-the-body-of-an-impl-definition
2026-11-13 22:45:00 +00:00
..
custom_witness
Switch tests to use the rendered form of diagnostics (#8070)
2026-11-05 07:19:59 +00:00
lookup
Adds an AddrOfAction for deferred checking of dependent types (#8122)
2026-11-13 16:48:52 +00:00
access.carbon
Switch tests to use the rendered form of diagnostics (#8070)
2026-11-05 07:19:59 +00:00
assoc_const_self.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
basic.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
compound.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
declaration.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
empty.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
error_recovery.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
eval_musteval.carbon
Switch tests to use the rendered form of diagnostics (#8070)
2026-11-05 07:19:59 +00:00
extend_final.carbon
Switch tests to use the rendered form of diagnostics (#8070)
2026-11-05 07:19:59 +00:00
extend_impl_generic.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
extend_impl.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
fail_alias.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
fail_call_invalid.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
fail_extend_impl_forall.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
fail_extend_impl_scope.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
fail_extend_impl_type_as.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
fail_extend_non_interface.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
fail_extend_partially_defined_interface.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
fail_extend_undefined_interface.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
fail_impl_as_scope.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
fail_impl_bad_assoc_const.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
fail_impl_bad_assoc_fn.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
fail_impl_bad_interface.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
fail_impl_bad_type.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
fail_redefinition.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
fail_self_type_mismatch.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
forward_decls.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
generic_method_constraint.carbon
Fix crash building impl witness thunks for constrained generic methods (#7956)
2026-10-19 21:10:56 +00:00
generic_redeclaration.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
impl_as_named_constraint.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
impl_as.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
impl_assoc_const_with_prelude.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
impl_assoc_const.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
impl_assoc_fn_as_alias.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
impl_forall.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
impl_inside_interface.carbon
Add interface modifiers (#7625)
2026-08-17 20:49:23 +00:00
impl_self_as.carbon
Switch tests to use the rendered form of diagnostics (#8070)
2026-11-05 07:19:59 +00:00
impl_thunk_min_prelude.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
impl_thunk.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
impl_where_redecl.carbon
Switch tests to use the rendered form of diagnostics (#8070)
2026-11-05 07:19:59 +00:00
import_builtin_call.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
import_canonical_witnesses.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
import_compound.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
import_extend_impl.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
import_generic.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
import_impl_with_no_interface.carbon
Switch tests to use the rendered form of diagnostics (#8070)
2026-11-05 07:19:59 +00:00
import_interface_assoc_const.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
import_self_specific.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
import_self.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
import_thunk.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
import_use_generic.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
incomplete.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
interface_args.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
multiple_extend.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
name_lookup_in_impl_definition.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
name_poisoning.carbon
Switch tests to use the rendered form of diagnostics (#8070)
2026-11-05 07:19:59 +00:00
no_definition_in_impl_file.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
orphan.carbon
Switch tests to use the rendered form of diagnostics (#8070)
2026-11-05 07:19:59 +00:00
period_self.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
redeclaration.carbon
Switch tests to use the rendered form of diagnostics (#8070)
2026-11-05 07:19:59 +00:00
reenter_scopes.carbon
Switch tests to use the rendered form of diagnostics (#8070)
2026-11-05 07:19:59 +00:00
require_satisified_in_interface.carbon
Switch tests to use the rendered form of diagnostics (#8070)
2026-11-05 07:19:59 +00:00
require_satisified_in_named_constraint.carbon
Switch tests to use the rendered form of diagnostics (#8070)
2026-11-05 07:19:59 +00:00
rewrites.carbon
Switch tests to use the rendered form of diagnostics (#8070)
2026-11-05 07:19:59 +00:00
self_in_class.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
self_in_signature.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
todo_impl_with_unrelated_fn.carbon
Give files shorthand names in textual SemIR (#8104)
2026-11-12 23:34:32 +00:00
use_assoc_entity.carbon
Parse where assignment declarations in impl definitions (#8136)
2026-11-13 22:45:00 +00:00
using_invalid_interface.carbon
Switch tests to use the rendered form of diagnostics (#8070)
2026-11-05 07:19:59 +00:00
where_assignment.carbon
Parse where assignment declarations in impl definitions (#8136)
2026-11-13 22:45:00 +00:00