dbsc
Results
1
issues of
dbsc
The following code snippet ```rust pub trait Trait1 { type T: Trait2; } pub trait Trait2: Trait1 { type U; } ``` makes charon hang. The motivation for this structure...
C-bug