diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2015-04-09 15:56:07 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2015-04-09 15:57:04 -0400 |
| commit | 8578fee5d823979ea760e1633eefa003db98cb0c (patch) | |
| tree | 86fd72075b0750dc0f63e6ee0d68875d0040327b /src/rustllvm/ExecutionEngineWrapper.cpp | |
| parent | e326aa197b1ee35b41c992eec171589197a7459d (diff) | |
| download | rust-8578fee5d823979ea760e1633eefa003db98cb0c.tar.gz rust-8578fee5d823979ea760e1633eefa003db98cb0c.zip | |
Don't use skolemized parameters but rather fresh variables in
coherence. Skolemized parameters wind up preventing unification. Surprised we had no test for this! Fixes #24241.
Diffstat (limited to 'src/rustllvm/ExecutionEngineWrapper.cpp')
0 files changed, 0 insertions, 0 deletions