-
Notifications
You must be signed in to change notification settings - Fork 1.8k
Closed
Labels
A-tytype system / type inference / traits / method resolutiontype system / type inference / traits / method resolutionC-bugCategory: bugCategory: bugS-actionableSomeone could pick this issue up and work on it right nowSomeone could pick this issue up and work on it right now
Description
let x = "" as *const _;
let y = &42 as *const _;
rust-analyzer/crates/hir-ty/src/infer/expr.rs
Lines 528 to 533 in 9153f17
Expr::Cast { expr, type_ref } => { | |
// FIXME: propagate the "castable to" expectation (and find a test case that shows this is necessary) | |
let _inner_ty = self.infer_expr_inner(*expr, &Expectation::none()); | |
let cast_ty = self.make_ty(type_ref); | |
// FIXME check the cast... | |
cast_ty |
Metadata
Metadata
Assignees
Labels
A-tytype system / type inference / traits / method resolutiontype system / type inference / traits / method resolutionC-bugCategory: bugCategory: bugS-actionableSomeone could pick this issue up and work on it right nowSomeone could pick this issue up and work on it right now