[kobebrookskC3]

what would fil-rust do that miri doesn't?

[baq]

e.g. validate safety across safe/unsafe boundaries

[estebank]

Miri does do that? It is not aware of the distinction to begin with (which is one of the use cases of the tool: it lets us exercise safe code to ensure there aren't memory violations caused by incorrect MIR lowering). I might be mistaking what you mean. Miri's big limitation is not being able to interface with FFI.