Skip to content

type checker doesn't reject missing record fields #51

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

type checker doesn't reject missing record fields #51

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 test compile-fail/rec-missing-fields.rs. Shouldn't compile, does.
@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
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
@alexcrichton
Merge pull request rust-lang#51 from alexcrichton/musl-organize
b1a043f 
Reorganize mips/musl/other slightly
eddyb pushed a commit to eddyb/rust that referenced this issue Jun 30, 2020
@ibabushkin
Implemented sealed trait handling. Closes rust-lang#51.
acfb0b7
bors bot referenced this issue in softdevteam/alloy Apr 29, 2021
@bors @jacob-hughes
Merge #51
d808c93 
51: Add flags to bdwgc build r=ltratt a=jacob-hughes

Some parts of the standard library are dynamically linked, so we need to ensure that Boehm is always built with position independent code. 

The `GC_THREADS` flag enables multi-threading GC support.

Co-authored-by: Jake Hughes <[email protected]>
bors pushed a commit to rust-lang-ci/rust that referenced this issue Oct 1, 2021
@workingjubilee
Merge pull request rust-lang#142 from rust-lang/feature/traits
82e3405 
Combine LanesAtMost32 and SimdArray into a single trait "Vector"

Attempts to fix some unresolved questions in rust-lang#139 regarding `SimdArray` having a generic parameter.

In particular, this made it not appropriate for replacing `LanesAtMost32`.  Additionally, it made it impossible to use in a context where you otherwise don't know the lane count, e.g. `impl Vector`.

An unfortunate side effect of this change is that scatter/gather no longer work in the trait (nor does anything else that references the lane count in a type.  This requires the super-unstable `const_evaluatable_checked` feature).

I also threw in the change from `as_slice` to `as_array` as discussed in zulip, and fixes rust-lang#51.
djtech-dev pushed a commit to djtech-dev/rust that referenced this issue Dec 9, 2021
@TheDan64
Merge pull request rust-lang#51 from Licenser/osx-fixes
c1309da 
Add macos cases for linux specific tests
@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