user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Recursive types are always non-empty

Browse source
This commit is contained in:
Andrew Cann 2016-09-15 01:41:45 +08:00
parent f1bdd4fae2
commit 5b20c6aec7
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/librustc/ty/mod.rs
View file

@ -1397,7 +1397,7 @@ impl<'a, 'gcx, 'tcx> AdtDefData<'tcx, 'static> {
cx: TyCtxt<'a, 'gcx, 'tcx>,
substs: &'tcx Substs<'tcx>) -> bool {
match visited.entry((self.did, substs)) {
hash_map::Entry::Occupied(_) => return true,
hash_map::Entry::Occupied(_) => return false,
hash_map::Entry::Vacant(ve) => ve.insert(()),
};
self.variants.iter().all(|v| v.is_uninhabited_recurse(visited, cx, substs, self.is_union()))