b7c8b96e66
This commit modifies the `substitute_normalize_and_test_predicates` query, renaming it to `impossible_predicates` and only checking predicates which do not require substs. By making this change, polymorphization doesn't have to explicitly support vtables. Signed-off-by: David Wood <david@davidtw.co> |
||
---|---|---|
.. | ||
src | ||
Cargo.toml | ||
README.md |