You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
With #316, charon --include "core::convert::{impl core::convert::Into<_> for _}::into" will translate precisely the requested method. This avoids the issue of --extract-opaque-bodies extracting too much.
--extract-opaque-bodies
extracts all the foreign definitions it can. It would be useful to be able to specify only specific ones. E.g. inCharon.toml
:This would extract the
Into
trait and the blanketFrom => Into
implementation, which could be useful if the crate defines anyFrom
impls.The text was updated successfully, but these errors were encountered: