]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c298efd) | patch
Non-parametric dropck; instead trust an unsafe attribute (RFC 1238).
authorFelix S. Klock II <pnkfelix@pnkfx.org>
Thu, 16 Jul 2015 12:56:03 +0000 (14:56 +0200)
committerFelix S. Klock II <pnkfelix@pnkfx.org>
Tue, 6 Oct 2015 12:16:20 +0000 (14:16 +0200)
commit9868df2fd5d9364a1a1d8b22847c7b442a77a88b
tree67ad36060ecf2da46c67c3d515c660363264ed8etree | snapshot
parentc298efdb1f5e9334c25dcc1ea98fcc35a0b4c05dcommit | diff
Non-parametric dropck; instead trust an unsafe attribute (RFC 1238).

Implement cannot-assume-parametricity (CAP) from RFC 1238, and add the
UGEH attribute.

----

Note that we check for the attribute attached to the dtor method, not
the Drop impl.

(This is just to match the specification of RFC and the tests; I am
not wedded to this approach.)
src/doc/reference.md diff | blob | history
src/librustc/middle/ty/util.rs diff | blob | history
src/librustc_typeck/check/dropck.rs diff | blob | history
src/libsyntax/feature_gate.rs diff | blob | history
Empowering everyone to build reliable and efficient software.