(c2rust-analyze) Allow calls to UnknownDef KnownFns with known ptr perms
#2004
| Job | Run time |
|---|---|
| 11m 1s | |
| 11m 1s |
c2rust-analyze) Allow calls to UnknownDef KnownFns with known ptr perms
#2004
| Job | Run time |
|---|---|
| 11m 1s | |
| 11m 1s |