Skip to content

Conversation

@Sawyer47
Copy link
Contributor

Documentation didn't match with parameter name.
Changes name of parameter in docs and function to 'amount'.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks like amt should be renamed to amount

Documentation didn't match with parameter name.
Changes name of parameter in docs and function to 'amount'.
@Sawyer47
Copy link
Contributor Author

I'm embarrassed. It's too easy to press 'u' in vim. Fixed, thanks @aochagavia

bors added a commit that referenced this pull request Jun 29, 2014
Documentation didn't match with parameter name.
Changes name of parameter in docs and function to 'amount'.
@bors bors closed this Jun 29, 2014
bors added a commit to rust-lang-ci/rust that referenced this pull request Aug 7, 2023
Properly infer types with type casts

This PR reenables `Expectation::Castable` (previous attempt at rust-lang#14104, reverted by rust-lang#14120) and implements type cast checks, which enable us to infer a bit more.

Castable expectations are relatively weak -- they only influence the inference if we cannot infer the types by other means. Therefore, we need to defer possible type unification with the casted type until we type check all expressions of the body. This PR adds a struct and slots in `InferenceContext` for the deferred cast checks (c.f. [`CastCheck`] in `rustc_hir_typeck`).

I only implemented the bits that affect the inference result. It should be possible to return type adjustments for well-formed casts and report diagnostics for invalid casts, but I'm leaving them for future work for now.

Fixes rust-lang#11571
Fixes rust-lang#15246

[`CastCheck`]: https://github.com/rust-lang/rust/blob/da1d099f91ea387a2814a6244dd875a2048b486f/compiler/rustc_hir_typeck/src/cast.rs#L55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants