carbon-lang/toolchain/check/testdata/impl at 505c4ae308c0fe4e18eafddbab47a848b8731019 - carbon-lang - Gitea: Git with a cup of tea

carbon-language/carbon-lang

0 Fork 0

mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-11-15 13:38:29 +00:00

Files

T

History

Bartłomiej Rosa 505c4ae308 Fix crash building impl witness thunks for constrained generic methods (#7956 )

When building an impl witness thunk for a generic associated function,
trailing self-specific arguments could still mention outer interface
parameters (or `Self`) in their types. That left a SymbolicBinding that
did not belong to the thunk's generic, and evaluation aborted instead of
succeeding.

Substitute the outer specific arguments into those trailing arguments
with `SubstConstant` before adjusting bind indices.

Fixes #7919.

2026-10-19 21:10:56 +00:00

..

Render diagnostics through the terminal library (#7683 )

2026-10-15 06:08:57 +00:00

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_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

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