Skip to content

Check arg/ret sizedness at ExprKind::Path#56045

Merged
bors merged 5 commits intorust-lang:masterfrom
qnighy:additional-sizedness
Nov 25, 2018
Merged

Check arg/ret sizedness at ExprKind::Path#56045
bors merged 5 commits intorust-lang:masterfrom
qnighy:additional-sizedness

Conversation

@qnighy
Copy link
Contributor

@qnighy qnighy commented Nov 18, 2018

This PR solves three problems:

These are caused by lack of Sizedness checks for arguments/retvals at reference sites of FnDef items (not call sites of the functions). Therefore we can basically add more Sized obligations on typeck. However, adding Sized obligations arbitrarily breaks type inference; to prevent that I added a new method require_type_is_sized_deferred which doesn't interfere usual type inference.

Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants