]> git.lizzy.rs Git - rust.git/commit
Specialize kinds inference for `Unsafe<T>`
authorFlavio Percoco <flaper87@gmail.com>
Thu, 17 Apr 2014 20:02:16 +0000 (22:02 +0200)
committerFlavio Percoco <flaper87@gmail.com>
Tue, 22 Apr 2014 12:18:36 +0000 (14:18 +0200)
commit5b4d54ee5be3166b662acd6fa0231c9851069e99
tree3ddbd6e84d70d8e27c76abf41a288b27d63c4c87
parentef1b929b2f732f96d6f9357467cf7b45b85c5413
Specialize kinds inference for `Unsafe<T>`

This patch adds a special rule for `Unsafe<T>` and makes it `Share`
regardless of whether T is `Share`.

[breaking-change]

Closes #13125
src/librustc/middle/ty.rs
src/test/compile-fail/typeck-unsafe-always-share.rs [new file with mode: 0644]