mirror of
https://github.com/github/codeql.git
synced 2026-04-27 01:35:13 +02:00
5 lines
484 B
Plaintext
5 lines
484 B
Plaintext
unexpectedModel
|
|
| Unexpected summary found: repo::test;<crate::option::MyOption as crate::clone::Clone>::clone;Argument[self].Field[crate::option::MyOption::MySome(0)].Reference;ReturnValue.Field[crate::option::MyOption::MySome(0)];value;dfc-generated |
|
|
| Unexpected summary found: repo::test;<crate::option::MyOption>::cloned;Argument[self].Field[crate::option::MyOption::MySome(0)].Reference;ReturnValue.Field[crate::option::MyOption::MySome(0)];value;dfc-generated |
|
|
expectedModel
|