Get a concrete `Type` from a user defined `DynamicType`.
(&self, ty: DynamicType)
| 270 | |
| 271 | /// Get a concrete `Type` from a user defined `DynamicType`. |
| 272 | pub fn get_concrete_dynamic_ty(&self, ty: DynamicType) -> Option<Type> { |
| 273 | self.dfg |
| 274 | .dynamic_types |
| 275 | .get(ty) |
| 276 | .unwrap_or_else(|| panic!("Undeclared dynamic vector type: {ty}")) |
| 277 | .concrete() |
| 278 | } |
| 279 | |
| 280 | /// Find a presumed unique special-purpose function parameter value. |
| 281 | /// |
no test coverage detected