Repository navigation
test(infer): G3 (A) stale witness — branded intermediate alias chain field access - #5931
Merged
Merged
Conversation
…chain Pins the documented lookup:188 self-ref-guard / brand-preservation class (C=B=A with rebrand on intermediate hop) as passing on post-#5925 main, closing the read-only probe without a lookup fix. Co-authored-by: Cursor <cursoragent@cursor.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
04_lookup.dag:188self-ref-guard / brand-preservation chain-following bug class is STALE (not live).g3_branded_intermediate_alias_chain_field_access: C=B=A withwhere brandon the intermediate hop (B), distinct from G3 (B) closed by fix(infer): preserve type args through generic-alias chains in field access #5925.Probe findings (execution-backed)
chained_type_alias_field_access(plain C=B=A)04_lookup.dag:156-195unchanged since #5734; #5925 fixed only the infer alias-chain type-arg path.Adjacent (out of scope):
type C = B where brand("C")with receiver typedCstill fails field access — terminal use-site brand, not the documented intermediate-hop (A) class.Test plan
cargo test -p v1-compiler-tests g3_branded_intermediate_alias_chain_field_accessMade with Cursor