diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-01-29 12:20:32 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-29 12:20:32 -0600 |
commit | 6adb00247896c7c1102e14c8a87d6a1a2e9031f9 (patch) | |
tree | e74ace939b26d2acbabf01321070bddcaf99c96e /src/codegen/mod.rs | |
parent | 821b133702b7fd8e719ae62382aa9579f802867a (diff) | |
parent | 29705c24aa998436bcd013387a2798b519374c78 (diff) |
Auto merge of #1240 - emilio:virtual-dtor-fix, r=fitzgen
ir: Choose the right mangling for destructors on all codepaths.
Fixes #1133.
Diffstat (limited to 'src/codegen/mod.rs')
-rw-r--r-- | src/codegen/mod.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/codegen/mod.rs b/src/codegen/mod.rs index 0ad4e805..f9e5e77c 100644 --- a/src/codegen/mod.rs +++ b/src/codegen/mod.rs @@ -1991,6 +1991,7 @@ impl MethodCodegen for Method { } }); + // TODO(emilio): We could generate final stuff at least. if self.is_virtual() { return; // FIXME } |