Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Panic when encountering unknown generics.
This should not happen; if it does, it's an error from the type-checker. So instead of silently swallowing the error and adopting a behavior which is only _sometimes_ right, it is better to fail loudly and investigate.
- Loading branch information