rapx::analysis::senryx::matcher

Function match_unsafe_api_and_check_contracts

source 
pub fn match_unsafe_api_and_check_contracts<'tcx, T>(
    func_name: &str,
    args: &Box<[Spanned<Operand<'_>>]>,
    abstate: &PathInfo<'tcx>,
    span: Span,
    _ty: T,
) -> Option<CheckResult>