Core models option update

[maximebuyse]

No description provided.

[abentkamp]

I assume you urgently need this for your extractions, right? So let's merge it.

This will have a hard time to be upstreamed though, I think. Instead, we should start working on a sort of config-file that determines how exactly items from dependency crates are supposed to be extracted, as we discussed here: #Cryspen > ExtractBuiltinLean @ 💬

That would make your current code obsolete, right?

[maximebuyse]

I assume you urgently need this for your extractions, right? So let's merge it.

This will have a hard time to be upstreamed though, I think. Instead, we should start working on a sort of config-file that determines how exactly items from dependency crates are supposed to be extracted, as we discussed here: #Cryspen > ExtractBuiltinLean @ 💬

That would make your current code obsolete, right?

Yes, this goes together with a PR for rust-core-models that relies on it. Indeed this should be temporary and replaced by a better solution like a TOML file specifying all special treatments.