pub fn is_statically_known(&self) -> bool {
        match self {
            Self::Local(..) | Self::Return(..) | Self::Formal(..) => false,
            Self::Global(g) => g.is_statically_known(),
        }
    }
/// Return true if `self` can be determined statically
Return true if `self` can be determined statically
Return true if ` self ` can be determined statically
pub fn is_statically_known(&self) -> bool {
        match self {
            Self::Local(..) | Self::Return(..) | Self::Formal(..) => false,
            Self::Global(g) => g.is_statically_known(),
        }
    }
pub fn is_statically_known ( & self ) -> bool { match self { Self :: Local ( .. ) | Self :: Return ( .. ) | Self :: Formal ( .. ) => false , Self :: Global ( g ) => g . is_statically_known ( ) , } }
Return true if `self` can be determined statically
Return true if ` self ` can be determined statically
&self