|
|
|
|
|
|
by johnbender
18 days ago
|
|
|
It depends on what “confirmed identical” means. Most compilers (or translators as you like) only guarantee that the output program represents a subset of the behaviors of the input program so it could be that subset is the “safe as in Rust” subset. |
|
|