diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-08-03 18:06:57 -0700 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-08-04 15:30:09 -0700 |
| commit | 2baaeab784a1f5c95deb8bd0c3a9745a969431cc (patch) | |
| tree | 2737fd99c554bbd07d3acc94bb9bebbe700ea8e8 /src/rt/rust_shape.cpp | |
| parent | d7d4b4fc38aaeb153647e64564918467c92c9324 (diff) | |
| download | rust-2baaeab784a1f5c95deb8bd0c3a9745a969431cc.tar.gz rust-2baaeab784a1f5c95deb8bd0c3a9745a969431cc.zip | |
Implement the occurs check
In the writeback phase, the typechecker now checks that it isn't replacing a type variable T with a type that contains T. It also does an occurs check in do_autoderef in order to avoid getting into an infinite chain of derefs. I'm a bit worried that there are more places where the occurs check needs to happen where I'm not doing it now, though. Closes #768
Diffstat (limited to 'src/rt/rust_shape.cpp')
0 files changed, 0 insertions, 0 deletions