7373 < span class ="keyword unsafe "> unsafe</ span > < span class ="punctuation "> {</ span >
7474 < span class ="comment "> // unsafe fn and method calls</ span >
7575 < span class ="function unsafe "> unsafe_fn</ span > < span class ="punctuation "> (</ span > < span class ="punctuation "> )</ span > < span class ="punctuation "> ;</ span >
76- < span class ="keyword "> let</ span > < span class ="variable declaration "> b</ span > < span class ="operator "> =</ span > < span class ="variable "> u</ span > < span class ="punctuation "> .</ span > < span class ="field unsafe "> b</ span > < span class ="punctuation "> ;</ span >
76+ < span class ="keyword "> let</ span > < span class ="variable declaration "> b</ span > < span class ="operator "> =</ span > < span class ="variable "> u</ span > < span class ="operator "> .</ span > < span class ="field unsafe "> b</ span > < span class ="punctuation "> ;</ span >
7777 < span class ="keyword control "> match</ span > < span class ="variable "> u</ span > < span class ="punctuation "> {</ span >
7878 < span class ="union "> Union</ span > < span class ="punctuation "> {</ span > < span class ="field unsafe "> b</ span > < span class ="punctuation "> :</ span > < span class ="numeric_literal "> 0</ span > < span class ="punctuation "> }</ span > < span class ="operator "> =></ span > < span class ="punctuation "> (</ span > < span class ="punctuation "> )</ span > < span class ="punctuation "> ,</ span >
7979 < span class ="union "> Union</ span > < span class ="punctuation "> {</ span > < span class ="field unsafe "> a</ span > < span class ="punctuation "> }</ span > < span class ="operator "> =></ span > < span class ="punctuation "> (</ span > < span class ="punctuation "> )</ span > < span class ="punctuation "> ,</ span >
8080 < span class ="punctuation "> }</ span >
81- < span class ="struct "> HasUnsafeFn</ span > < span class ="punctuation "> .</ span > < span class ="function unsafe "> unsafe_method</ span > < span class ="punctuation "> (</ span > < span class ="punctuation "> )</ span > < span class ="punctuation "> ;</ span >
81+ < span class ="struct "> HasUnsafeFn</ span > < span class ="operator "> .</ span > < span class ="function unsafe "> unsafe_method</ span > < span class ="punctuation "> (</ span > < span class ="punctuation "> )</ span > < span class ="punctuation "> ;</ span >
8282
8383 < span class ="comment "> // unsafe deref</ span >
8484 < span class ="keyword "> let</ span > < span class ="variable declaration "> y</ span > < span class ="operator "> =</ span > < span class ="operator unsafe "> *</ span > < span class ="variable "> x</ span > < span class ="punctuation "> ;</ span >
8585
8686 < span class ="comment "> // unsafe access to a static mut</ span >
87- < span class ="keyword "> let</ span > < span class ="variable declaration "> a</ span > < span class ="operator "> =</ span > < span class ="static mutable unsafe "> global_mut</ span > < span class ="punctuation "> .</ span > < span class ="field "> a</ span > < span class ="punctuation "> ;</ span >
87+ < span class ="keyword "> let</ span > < span class ="variable declaration "> a</ span > < span class ="operator "> =</ span > < span class ="static mutable unsafe "> global_mut</ span > < span class ="operator "> .</ span > < span class ="field "> a</ span > < span class ="punctuation "> ;</ span >
8888
8989 < span class ="comment "> // unsafe ref of packed fields</ span >
9090 < span class ="keyword "> let</ span > < span class ="variable declaration "> packed</ span > < span class ="operator "> =</ span > < span class ="struct "> Packed</ span > < span class ="punctuation "> {</ span > < span class ="field "> a</ span > < span class ="punctuation "> :</ span > < span class ="numeric_literal "> 0</ span > < span class ="punctuation "> }</ span > < span class ="punctuation "> ;</ span >
91- < span class ="keyword "> let</ span > < span class ="variable declaration "> a</ span > < span class ="operator "> =</ span > < span class ="operator unsafe "> &</ span > < span class ="variable "> packed</ span > < span class ="punctuation "> .</ span > < span class ="field "> a</ span > < span class ="punctuation "> ;</ span >
92- < span class ="keyword "> let</ span > < span class ="keyword unsafe "> ref</ span > < span class ="variable declaration "> a</ span > < span class ="operator "> =</ span > < span class ="variable "> packed</ span > < span class ="punctuation "> .</ span > < span class ="field "> a</ span > < span class ="punctuation "> ;</ span >
91+ < span class ="keyword "> let</ span > < span class ="variable declaration "> a</ span > < span class ="operator "> =</ span > < span class ="operator unsafe "> &</ span > < span class ="variable "> packed</ span > < span class ="operator "> .</ span > < span class ="field "> a</ span > < span class ="punctuation "> ;</ span >
92+ < span class ="keyword "> let</ span > < span class ="keyword unsafe "> ref</ span > < span class ="variable declaration "> a</ span > < span class ="operator "> =</ span > < span class ="variable "> packed</ span > < span class ="operator "> .</ span > < span class ="field "> a</ span > < span class ="punctuation "> ;</ span >
9393 < span class ="keyword "> let</ span > < span class ="struct "> Packed</ span > < span class ="punctuation "> {</ span > < span class ="keyword unsafe "> ref</ span > < span class ="field "> a</ span > < span class ="punctuation "> }</ span > < span class ="operator "> =</ span > < span class ="variable "> packed</ span > < span class ="punctuation "> ;</ span >
9494 < span class ="keyword "> let</ span > < span class ="struct "> Packed</ span > < span class ="punctuation "> {</ span > < span class ="field "> a</ span > < span class ="punctuation "> :</ span > < span class ="keyword unsafe "> ref</ span > < span class ="variable declaration "> _a</ span > < span class ="punctuation "> }</ span > < span class ="operator "> =</ span > < span class ="variable "> packed</ span > < span class ="punctuation "> ;</ span >
9595
9696 < span class ="comment "> // unsafe auto ref of packed field</ span >
97- < span class ="variable "> packed</ span > < span class ="punctuation "> .</ span > < span class ="field "> a</ span > < span class ="punctuation "> .</ span > < span class ="function unsafe "> calls_autoref</ span > < span class ="punctuation "> (</ span > < span class ="punctuation "> )</ span > < span class ="punctuation "> ;</ span >
97+ < span class ="variable "> packed</ span > < span class ="operator "> .</ span > < span class ="field "> a</ span > < span class ="operator "> .</ span > < span class ="function unsafe "> calls_autoref</ span > < span class ="punctuation "> (</ span > < span class ="punctuation "> )</ span > < span class ="punctuation "> ;</ span >
9898 < span class ="punctuation "> }</ span >
9999< span class ="punctuation "> }</ span > </ code > </ pre >
0 commit comments