Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Safer Transmute #2981

Closed
wants to merge 18 commits into from
Closed

Safer Transmute #2981

Changes from 3 commits
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
1a8561e
Safer Transmute
jswrenn Aug 31, 2020
72e2431
update rfc PR#
jswrenn Sep 1, 2020
9548ed7
update rfc PR#
jswrenn Sep 1, 2020
1fb17cb
describe minimal-but-useful stable API, and further stabilization mil…
jswrenn Sep 3, 2020
4f0ec01
fix dead intradocument link
jswrenn Sep 5, 2020
7646f48
Remove 'Compromises' column of table in 'Neglecting Static Checks'.
jswrenn Sep 9, 2020
01d1f9c
'soundness' -> 'well-definedness'
jswrenn Sep 9, 2020
4bb42ee
revamp constructability
jswrenn Sep 13, 2020
39e8bf8
fix error in minimal useful stabilization surface
jswrenn Sep 13, 2020
0473af9
use `FromZeros` in constructability example, rather than `FromBytes`
jswrenn Sep 13, 2020
44a2d41
remove unnecessary `pub`
jswrenn Sep 13, 2020
be8c6ef
fix typo
jswrenn Sep 14, 2020
a325078
generate scope types with `pub(self)` visibility
jswrenn Oct 12, 2020
bb9b988
introduce `differing_sizes` lint
jswrenn Oct 12, 2020
ec9eb45
Remove the stability system and `TransmuteInto` (for now).
jswrenn Oct 16, 2020
af9f301
Add some intro text to Future Possibilities + sentence on safe union …
jswrenn Oct 19, 2020
cff2ab1
Out with scope, in with `Muckable`!
jswrenn Oct 30, 2020
ee1204c
"safely and safely" -> "safely and stably"
jswrenn Nov 2, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading