Struct flowistry_pdg::rustc::mir::Constant

pub struct Constant<'tcx> {
    pub span: Span,
    pub user_ty: Option<UserTypeAnnotationIndex>,
    pub literal: ConstantKind<'tcx>,
}

Constants

Two constants are equal if they are the same constant. Note that this does not necessarily mean that they are == in Rust. In particular, one must be wary of NaN!

Fields

span: Span

user_ty: Option<UserTypeAnnotationIndex>

Optional user-given type: for something like collect::<Vec<_>>, this would be present and would indicate that Vec<_> was explicitly specified.

Needed for NLL to impose user-given type constraints.

literal: ConstantKind<'tcx>