remove source_text in trivia creation api
commit83357f0b430775d6b3d0390db53ed094341c8664
authorSteve Cao <shiqicao@fb.com>
Fri, 23 Oct 2020 21:30:38 +0000 (23 14:30 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Fri, 23 Oct 2020 21:33:23 +0000 (23 14:33 -0700)
treeec96ebccf9c6b283f20f79f378e1b1a30b11f2e0
parent31e3817c68b62ce85aa0233854a3797c7fb4627a
remove source_text in trivia creation api

Summary: source text isn't used in any trivium implementation

Reviewed By: Wilfred

Differential Revision: D24460975

fbshipit-source-id: 1a1f3ec45298eb3db9818af4c1a3304dcd1ea8e1
hphp/hack/src/parser/core/lexer.rs
hphp/hack/src/parser/core/parser_trait.rs
hphp/hack/src/parser/lexable_trivia.rs
hphp/hack/src/parser/minimal_trivia.rs
hphp/hack/src/parser/positioned_trivia.rs