diff options
| author | Paul Daniel Faria <[email protected]> | 2020-05-28 14:30:19 +0100 |
|---|---|---|
| committer | Paul Daniel Faria <[email protected]> | 2020-06-27 15:13:14 +0100 |
| commit | f678e0d837e472dc2f1421f89f794d33f3ade55c (patch) | |
| tree | 0b8501bce63bc5b340f67fe770dbbcb41ecee2e4 /crates/ra_ide/src/snapshots | |
| parent | 6c1682396c9894da07af74b43c2443e9bde89be4 (diff) | |
Add HighlightTag::Operator, use it for unsafe deref. Move unsafe validation to its own file
Diffstat (limited to 'crates/ra_ide/src/snapshots')
5 files changed, 6 insertions, 6 deletions
diff --git a/crates/ra_ide/src/snapshots/highlight_injection.html b/crates/ra_ide/src/snapshots/highlight_injection.html index 1b0349bae..3ac6c4ae5 100644 --- a/crates/ra_ide/src/snapshots/highlight_injection.html +++ b/crates/ra_ide/src/snapshots/highlight_injection.html | |||
| @@ -12,7 +12,7 @@ pre { color: #DCDCCC; background: #3F3F3F; font-size: 22px; padd | |||
| 12 | .string_literal { color: #CC9393; } | 12 | .string_literal { color: #CC9393; } |
| 13 | .field { color: #94BFF3; } | 13 | .field { color: #94BFF3; } |
| 14 | .function { color: #93E0E3; } | 14 | .function { color: #93E0E3; } |
| 15 | .function.unsafe { color: #BC8383; } | 15 | .function.unsafe { color: #E28C14; } |
| 16 | .operator.unsafe { color: #BC8383; } | 16 | .operator.unsafe { color: #BC8383; } |
| 17 | .parameter { color: #94BFF3; } | 17 | .parameter { color: #94BFF3; } |
| 18 | .text { color: #DCDCCC; } | 18 | .text { color: #DCDCCC; } |
diff --git a/crates/ra_ide/src/snapshots/highlight_strings.html b/crates/ra_ide/src/snapshots/highlight_strings.html index d184b5691..8556eb850 100644 --- a/crates/ra_ide/src/snapshots/highlight_strings.html +++ b/crates/ra_ide/src/snapshots/highlight_strings.html | |||
| @@ -12,7 +12,7 @@ pre { color: #DCDCCC; background: #3F3F3F; font-size: 22px; padd | |||
| 12 | .string_literal { color: #CC9393; } | 12 | .string_literal { color: #CC9393; } |
| 13 | .field { color: #94BFF3; } | 13 | .field { color: #94BFF3; } |
| 14 | .function { color: #93E0E3; } | 14 | .function { color: #93E0E3; } |
| 15 | .function.unsafe { color: #BC8383; } | 15 | .function.unsafe { color: #E28C14; } |
| 16 | .operator.unsafe { color: #BC8383; } | 16 | .operator.unsafe { color: #BC8383; } |
| 17 | .parameter { color: #94BFF3; } | 17 | .parameter { color: #94BFF3; } |
| 18 | .text { color: #DCDCCC; } | 18 | .text { color: #DCDCCC; } |
diff --git a/crates/ra_ide/src/snapshots/highlight_unsafe.html b/crates/ra_ide/src/snapshots/highlight_unsafe.html index 6936e949f..692307280 100644 --- a/crates/ra_ide/src/snapshots/highlight_unsafe.html +++ b/crates/ra_ide/src/snapshots/highlight_unsafe.html | |||
| @@ -12,7 +12,7 @@ pre { color: #DCDCCC; background: #3F3F3F; font-size: 22px; padd | |||
| 12 | .string_literal { color: #CC9393; } | 12 | .string_literal { color: #CC9393; } |
| 13 | .field { color: #94BFF3; } | 13 | .field { color: #94BFF3; } |
| 14 | .function { color: #93E0E3; } | 14 | .function { color: #93E0E3; } |
| 15 | .function.unsafe { color: #BC8383; } | 15 | .function.unsafe { color: #E28C14; } |
| 16 | .operator.unsafe { color: #BC8383; } | 16 | .operator.unsafe { color: #BC8383; } |
| 17 | .parameter { color: #94BFF3; } | 17 | .parameter { color: #94BFF3; } |
| 18 | .text { color: #DCDCCC; } | 18 | .text { color: #DCDCCC; } |
| @@ -47,7 +47,7 @@ pre { color: #DCDCCC; background: #3F3F3F; font-size: 22px; padd | |||
| 47 | <span class="keyword unsafe">unsafe</span> { | 47 | <span class="keyword unsafe">unsafe</span> { |
| 48 | <span class="function unsafe">unsafe_fn</span>(); | 48 | <span class="function unsafe">unsafe_fn</span>(); |
| 49 | <span class="struct">HasUnsafeFn</span>.<span class="function unsafe">unsafe_method</span>(); | 49 | <span class="struct">HasUnsafeFn</span>.<span class="function unsafe">unsafe_method</span>(); |
| 50 | <span class="keyword">let</span> <span class="variable declaration">y</span> = <span class="operator unsafe">*</span>(<span class="variable">x</span>); | 50 | <span class="keyword">let</span> <span class="variable declaration">y</span> = <span class="function unsafe">*</span><span class="variable">x</span>; |
| 51 | <span class="keyword">let</span> <span class="variable declaration">z</span> = -<span class="variable">x</span>; | 51 | <span class="keyword">let</span> <span class="variable declaration">z</span> = -<span class="variable">x</span>; |
| 52 | } | 52 | } |
| 53 | }</code></pre> \ No newline at end of file | 53 | }</code></pre> \ No newline at end of file |
diff --git a/crates/ra_ide/src/snapshots/highlighting.html b/crates/ra_ide/src/snapshots/highlighting.html index 8d0b38f95..47403b367 100644 --- a/crates/ra_ide/src/snapshots/highlighting.html +++ b/crates/ra_ide/src/snapshots/highlighting.html | |||
| @@ -12,7 +12,7 @@ pre { color: #DCDCCC; background: #3F3F3F; font-size: 22px; padd | |||
| 12 | .string_literal { color: #CC9393; } | 12 | .string_literal { color: #CC9393; } |
| 13 | .field { color: #94BFF3; } | 13 | .field { color: #94BFF3; } |
| 14 | .function { color: #93E0E3; } | 14 | .function { color: #93E0E3; } |
| 15 | .function.unsafe { color: #BC8383; } | 15 | .function.unsafe { color: #E28C14; } |
| 16 | .operator.unsafe { color: #BC8383; } | 16 | .operator.unsafe { color: #BC8383; } |
| 17 | .parameter { color: #94BFF3; } | 17 | .parameter { color: #94BFF3; } |
| 18 | .text { color: #DCDCCC; } | 18 | .text { color: #DCDCCC; } |
diff --git a/crates/ra_ide/src/snapshots/rainbow_highlighting.html b/crates/ra_ide/src/snapshots/rainbow_highlighting.html index 9516c7441..f5fb96f55 100644 --- a/crates/ra_ide/src/snapshots/rainbow_highlighting.html +++ b/crates/ra_ide/src/snapshots/rainbow_highlighting.html | |||
| @@ -12,7 +12,7 @@ pre { color: #DCDCCC; background: #3F3F3F; font-size: 22px; padd | |||
| 12 | .string_literal { color: #CC9393; } | 12 | .string_literal { color: #CC9393; } |
| 13 | .field { color: #94BFF3; } | 13 | .field { color: #94BFF3; } |
| 14 | .function { color: #93E0E3; } | 14 | .function { color: #93E0E3; } |
| 15 | .function.unsafe { color: #BC8383; } | 15 | .function.unsafe { color: #E28C14; } |
| 16 | .operator.unsafe { color: #BC8383; } | 16 | .operator.unsafe { color: #BC8383; } |
| 17 | .parameter { color: #94BFF3; } | 17 | .parameter { color: #94BFF3; } |
| 18 | .text { color: #DCDCCC; } | 18 | .text { color: #DCDCCC; } |