]>
git.proxmox.com Git - rustc.git/blob - src/librustc/ty/cast.rs
1 // Helpers for handling cast expressions, used in both
4 use crate::ty
::{self, Ty}
;
7 use rustc_macros
::HashStable
;
9 /// Types that are represented as ints.
10 #[derive(Copy, Clone, Debug, PartialEq, Eq)]
19 // Valid types for the result of a non-coercion cast
20 #[derive(Copy, Clone, Debug, PartialEq, Eq)]
21 pub enum CastTy
<'tcx
> {
22 /// Various types that are represented as ints and handled mostly
23 /// in the same way, merged for easier matching.
25 /// Floating-Point types
30 Ptr(ty
::TypeAndMut
<'tcx
>),
32 RPtr(ty
::TypeAndMut
<'tcx
>),
35 /// Cast Kind. See RFC 401 (or librustc_typeck/check/cast.rs)
36 #[derive(Copy, Clone, Debug, RustcEncodable, RustcDecodable, HashStable)]
51 impl<'tcx
> CastTy
<'tcx
> {
52 /// Returns `Some` for integral/pointer casts.
53 /// casts like unsizing casts will return `None`
54 pub fn from_ty(t
: Ty
<'tcx
>) -> Option
<CastTy
<'tcx
>> {
56 ty
::Bool
=> Some(CastTy
::Int(IntTy
::Bool
)),
57 ty
::Char
=> Some(CastTy
::Int(IntTy
::Char
)),
58 ty
::Int(_
) => Some(CastTy
::Int(IntTy
::I
)),
59 ty
::Infer(ty
::InferTy
::IntVar(_
)) => Some(CastTy
::Int(IntTy
::I
)),
60 ty
::Infer(ty
::InferTy
::FloatVar(_
)) => Some(CastTy
::Float
),
61 ty
::Uint(u
) => Some(CastTy
::Int(IntTy
::U(u
))),
62 ty
::Float(_
) => Some(CastTy
::Float
),
63 ty
::Adt(d
,_
) if d
.is_enum() && d
.is_payloadfree() =>
64 Some(CastTy
::Int(IntTy
::CEnum
)),
65 ty
::RawPtr(mt
) => Some(CastTy
::Ptr(mt
)),
66 ty
::Ref(_
, ty
, mutbl
) => Some(CastTy
::RPtr(ty
::TypeAndMut { ty, mutbl }
)),
67 ty
::FnPtr(..) => Some(CastTy
::FnPtr
),