(
&mut self,
id: &KId<M>,
)
| 244 | } |
| 245 | |
| 246 | pub fn try_get_const( |
| 247 | &mut self, |
| 248 | id: &KId<M>, |
| 249 | ) -> Result<Option<KConst<M>>, TcError<M>> { |
| 250 | if let Some(c) = self.env.get(id) { |
| 251 | return Ok(Some(c)); |
| 252 | } |
| 253 | let lazy_enabled = self.lazy_ixon.is_some() || self.lazy_anon.is_some(); |
| 254 | self.lazy_ingress_addr(&id.addr)?; |
| 255 | match self.env.get(id) { |
| 256 | Some(c) => Ok(Some(c)), |
| 257 | None if lazy_enabled => Err(TcError::UnknownConst(id.addr.clone())), |
| 258 | None => Ok(None), |
| 259 | } |
| 260 | } |
| 261 | |
| 262 | pub fn get_const(&mut self, id: &KId<M>) -> Result<KConst<M>, TcError<M>> { |
| 263 | self |
no test coverage detected