Skip to content

Issue 2263 fn subtyping - #3854

Closed
nikomatsakis wants to merge 2 commits into
rust-lang:incomingfrom
nikomatsakis:issue-2263-fn-subtyping
Closed

Issue 2263 fn subtyping#3854
nikomatsakis wants to merge 2 commits into
rust-lang:incomingfrom
nikomatsakis:issue-2263-fn-subtyping

Conversation

@nikomatsakis

Copy link
Copy Markdown
Contributor

r? @brson

This is a partial fix for #2263. It corrects subtyping for function types with bound lifetimes, but not LUB/GLB. The description in the comment in region_inference.rs (included in the patch) explains the situation as best I can, it's a fairly subtle problem, I won't repeat it here.

@brson

Copy link
Copy Markdown
Contributor

r+

Great comments and tests. Took me a while to digest how region inference works, but it lgtm.

@nikomatsakis

Copy link
Copy Markdown
ContributorAuthor

Merged in 1a3a707

RalfJung pushed a commit to RalfJung/rust that referenced this pull request Sep 8, 2024
U007D pushed a commit to U007D/rust-mos that referenced this pull request Aug 21, 2026
4268: Support auto-import in macro r=SomeoneToIgnore a=edwin0cheng
Fixed: rust-lang#3854
Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@nikomatsakis@brson