Fix a compilation error & a warning

Author: BrunoDutertre

aws-smt-ir/src/term.rs

@@ -274,9 +274,6 @@ pub enum CoreOp<Term> {
     Ite(Term, Term, Term),
 }
 
-#[cfg(test)]
-static_assertions::assert_eq_size!(CoreOp<Term<crate::logic::ALL>>, [*const (); 7]);
-
 impl<Term> From<bool> for CoreOp<Term> {
     fn from(b: bool) -> Self {
         if b {

aws-smt-ir/src/types.rs

@@ -112,7 +112,7 @@ impl<Identifier, Sort> QualIdentifier<Identifier, Sort> {
         }
     }
 
-    pub fn sym_str<'a, Symbol>(&'a self) -> &str
+    pub fn sym_str<'a, Symbol>(&'a self) -> &'a str
     where
         Identifier: AsRef<self::Identifier<Symbol>>,
         Symbol: AsRef<self::Symbol> + 'a,