Function compute_guarantees 

fn compute_guarantees(
    krate: &TranslatedCrate,
    target: &TargetTriple,
    decl: &TypeDecl,
) -> Option<Guarantees>