As for now, we use CorelibContext in linter. But as it turns out, there is something called CoreInfo in the compiler, which is basically the same thing xd. https://github.com/starkware-libs/cairo/blob/944f54b01116708084d33807737f658318f4b8a2/crates/cairo-lang-semantic/src/corelib.rs#L868.
If possible, get rid of corelibcontext and use the coreinfo
As for now, we use
CorelibContextin linter. But as it turns out, there is something calledCoreInfoin the compiler, which is basically the same thing xd. https://github.com/starkware-libs/cairo/blob/944f54b01116708084d33807737f658318f4b8a2/crates/cairo-lang-semantic/src/corelib.rs#L868.If possible, get rid of corelibcontext and use the coreinfo