fix(backends/fstar): no __marker_trait if parent bounds
#73
| Job | Run time |
|---|---|
| 6m 1s | |
| 6m 1s |
__marker_trait if parent bounds
#73
| Job | Run time |
|---|---|
| 6m 1s | |
| 6m 1s |