Rust: Update format of the new MaD models.

Author: geoffw0

rust/ql/lib/codeql/rust/frameworks/stdlib/core.model.yml

@@ -130,9 +130,9 @@ extensions:
       - ["<core::str>::trim", "Argument[self].Reference", "ReturnValue.Reference", "taint", "manual"]
       - ["<core::str>::to_string", "Argument[self].Reference", "ReturnValue", "taint", "manual"]
       # Fmt
-      - ["<_ as core::fmt::Write>::write_fmt", "Argument[0]", "Argument[self].Reference", "taint", "manual"]
-      - ["<_ as core::fmt::Write>::write_str", "Argument[0].Reference", "Argument[self].Reference", "taint", "manual"]
-      - ["<_ as core::fmt::Write>::write_char", "Argument[0]", "Argument[self].Reference", "taint", "manual"]
+      - ["core::fmt::Write::write_fmt", "Argument[0]", "Argument[self].Reference", "taint", "manual"]
+      - ["core::fmt::Write::write_str", "Argument[0].Reference", "Argument[self].Reference", "taint", "manual"]
+      - ["core::fmt::Write::write_char", "Argument[0]", "Argument[self].Reference", "taint", "manual"]
       - ["core::fmt::write", "Argument[1]", "Argument[0].Reference", "taint", "manual"]
       # Ord
       - ["core::cmp::Ord::min", "Argument[self,0]", "ReturnValue", "value", "manual"]