Skip to content
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

ty::type_is_sized needs to work via type_contents #10126

Closed
pnkfelix opened this issue Oct 28, 2013 · 2 comments
Closed

ty::type_is_sized needs to work via type_contents #10126

pnkfelix opened this issue Oct 28, 2013 · 2 comments
Labels
A-typesystem Area: The type system

Comments

@pnkfelix
Copy link
Member

Sub-task of #6308.

Relevant diaglogue from #rust-internals : https://botbot.me/mozilla/rust-internals/msg/7309210/

In short: the input ty::type_is_sized may not have all of the necessary bits populated yet, because one needs to look recursively up the trait inheritance hierarchy to find out if a type parameter is bounded by a trait that inherits from Sized.

As @nikomatsakis suggested, use the code for type_is_sendable or type_needs_drop as a model here.
@steveklabnik
Copy link
Member

Triage: no clue.

@steveklabnik steveklabnik added the A-typesystem Area: The type system label Jan 23, 2015
@nikomatsakis
Copy link
Contributor

This is fixed.

flip1995 pushed a commit to flip1995/rust that referenced this issue Dec 29, 2022
@bors
Auto merge of rust-lang#10126 - flip1995:rustup, r=flip1995
4f3ab69 
Rustup

r? `@ghost`

Love this time of the year. No conflicts, because no one merges anything.

changelog: none
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-typesystem Area: The type system
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@steveklabnik @nikomatsakis @pnkfelix