The blocky arrow is a fairly obscure character, and a couple of fonts I checked
don't have it :-(
"Type" is long and text-y, I do think people will get used to element-of (which
is very commonly present).
Differential D73278
[clangd] Type: ⇨ ∈; 🡺 ⇨ → sammccall on Jan 23 2020, 10:08 AM. Authored by
Details
The blocky arrow is a fairly obscure character, and a couple of fonts I checked "Type" is long and text-y, I do think people will get used to element-of (which
Diff Detail
Unit Tests Event TimelineComment Actions Unit tests: fail. 62134 tests passed, 7 failed and 811 were skipped. failed: Clangd.Clangd/hover.test failed: Clangd Unit Tests._/ClangdTests/Hover.Present failed: libc++.std/language_support/cmp/cmp_partialord/partialord.pass.cpp failed: libc++.std/language_support/cmp/cmp_strongeq/cmp.strongeq.pass.cpp failed: libc++.std/language_support/cmp/cmp_strongord/strongord.pass.cpp failed: libc++.std/language_support/cmp/cmp_weakeq/cmp.weakeq.pass.cpp failed: libc++.std/language_support/cmp/cmp_weakord/weakord.pass.cpp clang-tidy: pass. clang-format: pass. Build artifacts: diff.json, clang-tidy.txt, clang-format.patch, CMakeCache.txt, console-log.txt, test-results.xml Pre-merge checks is in beta. Report issue. Please join beta or enable it for your project. |