Support #[rustc_coinductive]

This commit is contained in:
Ryo Yoshida 2023-06-24 21:53:50 +09:00
parent 6ba2590541
commit d026479ba6
No known key found for this signature in database
GPG key ID: E25698A930586171
4 changed files with 45 additions and 8 deletions

View file

@ -62,6 +62,7 @@ pub mod marker {
#[lang = "sized"]
#[fundamental]
#[rustc_specialization_trait]
#[rustc_coinductive]
pub trait Sized {}
// endregion:sized