cairo-lang-sierra 2.19.2

Sierra representation.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

use crate::extensions::lib_func::{LibfuncSignature, SignatureSpecializationContext};
use crate::extensions::{NoGenericArgsGenericLibfunc, SpecializationError};

/// Libfunc for generating unprovable code when a panic is encountered.
#[derive(Default)]
pub struct UnsafePanicLibfunc {}
impl NoGenericArgsGenericLibfunc for UnsafePanicLibfunc {
    const STR_ID: &'static str = "unsafe_panic";

    fn specialize_signature(
        &self,
        _context: &dyn SignatureSpecializationContext,
    ) -> Result<LibfuncSignature, SpecializationError> {
        Ok(LibfuncSignature {
            param_signatures: vec![],
            branch_signatures: vec![],
            fallthrough: None,
        })
    }
}