Dennis Kobert bb8560e5ad Fix faulty contravariance checking (#2025) ... * Fix faulty contravariance checking * Fix documented soundness issue in type resolution		2024-10-07 12:35:27 -07:00
..
.cargo	Add profiling metrics for, and speed up, Graphene graph compilation (#1924)	2024-08-12 03:07:36 -07:00
benches	Add manually-runnable benchmarks for runtime profiling (#2005)	2024-09-25 10:52:41 +02:00
src	Fix faulty contravariance checking (#2025)	2024-10-07 12:35:27 -07:00
Cargo.toml	Add manually-runnable benchmarks for runtime profiling (#2005)	2024-09-25 10:52:41 +02:00