rust/compiler/rustc_trait_selection/src/traits/misc.rs, branch 1.85.0https://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=1.85.02024-12-14T20:31:07+00:00Add some convenience helper methods on `hir::Safety`2024-12-14T20:31:07+00:00Oli Scherergithub333195615777966@oli-obk.de2024-12-13T12:19:46+00:00urn:sha1:8a4e5d7444c4d43097c2ca0d1b8e64be9dbeddfaMake `Copy` unsafe to implement for ADTs with `unsafe` fields2024-12-07T20:50:00+00:00Jack Wrennjack@wrenn.fyi2024-12-06T17:11:36+00:00urn:sha1:3ce35a4ec5f06828f908a018da083af5eb54301a
As a rule, the application of `unsafe` to a declaration requires that use-sites
of that declaration also require `unsafe`. For example, a field declared
`unsafe` may only be read in the lexical context of an `unsafe` block.
For nearly all safe traits, the safety obligations of fields are explicitly
discharged when they are mentioned in method definitions. For example,
idiomatically implementing `Clone` (a safe trait) for a type with unsafe fields
will require `unsafe` to clone those fields.
Prior to this commit, `Copy` violated this rule. The trait is marked safe, and
although it has no explicit methods, its implementation permits reads of `Self`.
This commit resolves this by making `Copy` conditionally safe to implement. It
remains safe to implement for ADTs without unsafe fields, but unsafe to
implement for ADTs with unsafe fields.
Tracking: #132922
TypingMode :thinking:2024-10-29T16:01:24+00:00lcnrrust@lcnr.de2024-10-17T22:28:43+00:00urn:sha1:f51ec110a714fea09105586b26c7f8e6a2a57018Use assert_matches around the compiler2024-08-11T16:25:39+00:00Michael Gouletmichael@errs.io2024-08-11T16:10:36+00:00urn:sha1:c361c924a08c2e34c705ec3ee1ad2099315338d8Reformat `use` declarations.2024-07-28T22:26:52+00:00Nicholas Nethercoten.nethercote@gmail.com2024-07-28T22:13:50+00:00urn:sha1:84ac80f1921afc243d71fd0caaa4f2838c294102
The previous commit updated `rustfmt.toml` appropriately. This commit is
the outcome of running `x fmt --all` with the new formatting options.
Split part of `adt_const_params` into `unsized_const_params`2024-07-17T10:01:29+00:00Boxysupbscripter@gmail.com2024-07-14T12:38:51+00:00urn:sha1:d0c11bf6e3fea61711af107c896a763a71606340Forbid `!Sized` types and references2024-07-17T10:01:29+00:00Boxysupbscripter@gmail.com2024-07-14T11:50:41+00:00urn:sha1:42cc42b942088a94d95bc5169724d77429f20582Opt-in diagnostics reporting to avoid doing extra work in the new solver2024-06-03T13:27:52+00:00Michael Gouletmichael@errs.io2024-06-01T18:51:31+00:00urn:sha1:eb0a70a5578be0ae164cb802898ea98d41e95f13Make TraitEngines generic over error2024-06-03T13:27:52+00:00Michael Gouletmichael@errs.io2024-06-01T18:12:34+00:00urn:sha1:54b2b7d460fd0847508b781219d380231c4fee72Use regular type equating instead of a custom query2024-05-24T09:15:43+00:00Oli Scherergit-spam-no-reply9815368754983@oli-obk.de2024-05-23T16:23:41+00:00urn:sha1:d5eb7a71b3c869eb9e15f10da6eb92303b96dfb5