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

Use the return value of a function to infer a type for the "ret" statement #170

Closed
pcwalton opened this issue Oct 12, 2010 · 1 comment
Closed

Use the return value of a function to infer a type for the "ret" statement #170

pcwalton opened this issue Oct 12, 2010 · 1 comment
Labels
A-type-system Area: Type system

Comments

@pcwalton
Copy link
Contributor

Currently, statements like "ret none;" don't work because the typechecker isn't smart enough to infer the type parameter from the explicit function signature.
@graydon
Copy link
Contributor

graydon commented Jan 27, 2011

WONTFIX (not required for bootstrapping, should work in rustc already; reopen if not)

oli-obk added a commit to oli-obk/rust that referenced this issue Jul 19, 2017
@oli-obk
Merge pull request rust-lang#170 from dwrensha/rustup
e2a0998 
update for upstream changes with ty::ParamEnv
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
@alexcrichton
Merge pull request rust-lang#170 from kamalmarhubi/sendfile
37c866a 
unix: Add sendfile to platforms that support it
dlrobertson pushed a commit to dlrobertson/rust that referenced this issue Nov 29, 2018
@Havvy
Merge pull request rust-lang#170 from camhux/master
de1dc99 
Fix integer suffix typos
djtech-dev pushed a commit to djtech-dev/rust that referenced this issue Dec 9, 2021
@TheDan64
Merge pull request rust-lang#170 from rtfeldman/result-power-of-two
41b9624 
Err for invalid memcpy/memmove alignmen
antoyo added a commit to antoyo/rust that referenced this issue Jun 7, 2022
@antoyo
Merge pull request rust-lang#170 from yvt/fix-internal-load-calls
37892fc 
Use the provided pointee type in `<Builder as BuilderMethods>::load`
@b812pon b812pon mentioned this issue Aug 21, 2023
Open
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@vecchiot-aws @tedinski
Added v0 mangler as default for rmc, and added --mangler option. (rus…
c939e13 
…t-lang#170)
celinval added a commit to celinval/rust-dev that referenced this issue Nov 20, 2024
@celinval
Improve run-kani script to use default target
06ce4c4 
Use default target folder instead of using a temporary folder.
Users are still able to customize the folder using Kani argument.

Avoid needless updates when Kani dependencies are
already up-to-date.

Fixes rust-lang#170
celinval added a commit to celinval/rust-dev that referenced this issue Nov 22, 2024
@celinval
Improve run-kani script to use default target (rust-lang#172)
971befd 
Use default target folder instead of using a temporary folder. Users are
still able to customize the folder using Kani argument.

Avoid needless updates when Kani dependencies are
already up-to-date.

Fixes rust-lang#170
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
2 participants
@graydon @pcwalton