Rust: Make sources more accurate (iterator contents).

Author: geoffw0

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

@@ -3,12 +3,12 @@ extensions:
       pack: codeql/rust-all
       extensible: sourceModel
     data:
-      - ["lang:std", "crate::env::args", "ReturnValue", "command-line-source", "manual"]
-      - ["lang:std", "crate::env::args_os", "ReturnValue", "command-line-source", "manual"]
+      - ["lang:std", "crate::env::args", "ReturnValue.Element", "command-line-source", "manual"]
+      - ["lang:std", "crate::env::args_os", "ReturnValue.Element", "command-line-source", "manual"]
       - ["lang:std", "crate::env::current_dir", "ReturnValue.Variant[crate::result::Result::Ok(0)]", "command-line-source", "manual"]
       - ["lang:std", "crate::env::current_exe", "ReturnValue.Variant[crate::result::Result::Ok(0)]", "command-line-source", "manual"]
       - ["lang:std", "crate::env::home_dir", "ReturnValue.Variant[crate::option::Option::Some(0)]", "command-line-source", "manual"]
       - ["lang:std", "crate::env::var", "ReturnValue.Variant[crate::result::Result::Ok(0)]", "environment-source", "manual"]
       - ["lang:std", "crate::env::var_os", "ReturnValue.Variant[crate::option::Option::Some(0)]", "environment-source", "manual"]
-      - ["lang:std", "crate::env::vars", "ReturnValue", "environment-source", "manual"]
-      - ["lang:std", "crate::env::vars_os", "ReturnValue", "environment-source", "manual"]
+      - ["lang:std", "crate::env::vars", "ReturnValue.Element", "environment-source", "manual"]
+      - ["lang:std", "crate::env::vars_os", "ReturnValue.Element", "environment-source", "manual"]