Skip to content

record type inference failing #50

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
graydon opened this issue Jun 22, 2010 · 1 comment
Closed

record type inference failing #50

graydon opened this issue Jun 22, 2010 · 1 comment
Labels
A-type-system Area: Type system

Comments

@graydon
Copy link
Contributor

graydon commented Jun 22, 2010

See testcase rec-auto.rs. Bug in the typechecker.
@graydon
Copy link
Contributor Author

graydon commented Jul 16, 2010

Un-XFAIL a couple tests fixed by pcwalton's new typechecker. Closed by 4d413af. Closed by 4d413af.

mbrubeck pushed a commit to mbrubeck/rust that referenced this issue Oct 17, 2011
@graydon
Un-XFAIL a couple tests fixed by pcwalton's new typechecker. Closes r…
4d413af 
…ust-lang#50. Closes rust-lang#51.
@evanmcc evanmcc mentioned this issue Apr 3, 2012
Closed
@Fizzixnerd Fizzixnerd mentioned this issue Aug 25, 2014
Closed
arielb1 pushed a commit to arielb1/rust that referenced this issue Apr 10, 2015
@pcwalton
Merge pull request rust-lang#50 from pcwalton/assert
0b35cc0 
Add RFC for disablable assertions
oli-obk pushed a commit to oli-obk/rust that referenced this issue Jul 19, 2017
@solson
Merge pull request rust-lang#50 from oli-obk/casts
248bfde 
implement more casts
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
@alexcrichton
Merge pull request rust-lang#50 from polachok/netlink
83ac25a 
sockaddr_nl for netlink sockets
rchaser53 pushed a commit to rchaser53/rust that referenced this issue Jan 19, 2019
@vishalsodani @mark-i-m
Add info about ParseSess for code index rust-lang#50
12e382d
rchaser53 pushed a commit to rchaser53/rust that referenced this issue Jan 19, 2019
@vishalsodani
Add info about CodeMap for rust-lang#50
7fa92ec
rchaser53 pushed a commit to rchaser53/rust that referenced this issue Jan 19, 2019
@vishalsodani
Add info about TraitDef for rust-lang#50
f1bda06
rchaser53 pushed a commit to rchaser53/rust that referenced this issue Jan 19, 2019
@nikomatsakis
Merge pull request rust-lang#69 from vishalsodani/master
5636a64 
Add info about CodeMap for rust-lang#50
rchaser53 pushed a commit to rchaser53/rust that referenced this issue Jan 19, 2019
@vishalsodani @mark-i-m
Add info about StringReader for rust-lang#50
f04757a
eddyb pushed a commit to eddyb/rust that referenced this issue Jun 30, 2020
@ibabushkin
Fixed Issue rust-lang#50.
0c51068 
Caused by the translation of substs in a context where said substs
were already translated, due to the bottom-up nature of our translation
mechanism. This should be adressed in the future in other cases as well.
bors bot referenced this issue in softdevteam/alloy Apr 29, 2021
@bors @jacob-hughes
Merge #50
e10cb62 
50: Move allocator into separate crate r=ltratt a=jacob-hughes

By separating the crates up like this, the allocator can be imported and used in rustgc's libstd without needing to break up the repo or duplicate code.

Co-authored-by: Jake Hughes <[email protected]>
@Amanieu Amanieu mentioned this issue Jun 12, 2023
Open
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-type-system Area: Type system
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@graydon