(
&mut self,
id: &KId<M>,
)
| 270 | .ok_or_else(|| TcError::UnknownConst(id.addr.clone())) |
| 271 | } |
| 272 | |
| 273 | pub fn has_const(&mut self, id: &KId<M>) -> Result<bool, TcError<M>> { |
| 274 | Ok(self.try_get_const(id)?.is_some()) |
| 275 | } |
| 276 | |
| 277 | pub fn try_get_block( |
| 278 | &mut self, |
| 279 | id: &KId<M>, |
| 280 | ) -> Result<Option<Vec<KId<M>>>, TcError<M>> { |
| 281 | if let Some(members) = self.env.get_block(id) { |
| 282 | return Ok(Some(members)); |
| 283 | } |
| 284 | self.lazy_ingress_addr(&id.addr)?; |
no test coverage detected