fix(engine/fstar): fix c_trait_goal and always use it for traits
#287
The logs for this run have expired and are no longer available.
Loading
c_trait_goal and always use it for traits
#287