Apply suggestions from code review

Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>

kani-compiler/src/kani_middle/reachability.rs

@@ -241,8 +241,8 @@ impl<'a, 'tcx> MonoItemsFnCollector<'a, 'tcx> {
  let concrete_kind = concrete_ty.kind();
  let trait_kind = trait_ty.kind();
 
- assert!(!concrete_kind.is_trait(), "Expected a concrete type, but found: {concrete_ty:?}");
- assert!(trait_kind.is_trait(), "Expected a trait: {trait_ty:?}");
+ assert!(!concrete_kind.is_trait(), "expected a concrete type, but found `{concrete_ty:?}`");
+ assert!(trait_kind.is_trait(), "expected a trait `{trait_ty:?}`");
  if let Some(principal) = trait_kind.trait_principal() {
  // A trait object type can have multiple trait bounds but up to one non-auto-trait
  // bound. This non-auto-trait, named principal, is the only one that can have methods.

kani-compiler/src/kani_middle/stubbing/mod.rs

@@ -41,7 +41,7 @@ pub fn harness_stub_map(
 /// Stubbing may cause an instance to not be correctly instantiated since we delay checking its
 /// generic bounds.
 ///
-/// In stable mir, trying to retrieve an Instance::body() will ICE if we cannot evaluate a
+/// In stable MIR, trying to retrieve an `Instance::body()` will ICE if we cannot evaluate a
 /// constant as expected. For now, use internal APIs to anticipate this issue.
 pub fn validate_instance(tcx: TyCtxt, instance: Instance) -> bool {
  let internal_instance = rustc_internal::internal(instance);