Skip to main content

luaur_analysis/records/
proposition_refinement.rs

1use crate::records::refinement_key::RefinementKey;
2use crate::type_aliases::type_id::TypeId;
3
4#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
5pub struct Proposition {
6    pub(crate) key: *const RefinementKey,
7    pub(crate) discriminantTy: TypeId,
8    pub(crate) implicitFromCall: bool,
9}
10
11#[allow(non_snake_case)]
12impl Proposition {
13    pub fn key(&self) -> *const RefinementKey {
14        self.key
15    }
16
17    pub fn discriminantTy(&self) -> TypeId {
18        self.discriminantTy
19    }
20
21    pub fn implicitFromCall(&self) -> bool {
22        self.implicitFromCall
23    }
24}