Skip to content

Commit 2cc02a8

Browse files
Scott Owensmeta-codesync[bot]
authored andcommitted
remove unused lifetime parameters
Summary: This was used for the arena from oxidized_by_ref, which is now gone, so clean it up Reviewed By: geralt-encore Differential Revision: D83835893 fbshipit-source-id: f4c21dc1663d419739e43a7e35b9df38e4b227cf
1 parent 4662dd4 commit 2cc02a8

40 files changed

Lines changed: 404 additions & 465 deletions

hphp/hack/src/Cargo.lock

Lines changed: 0 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

hphp/hack/src/hackc/cli/compile.rs

Lines changed: 6 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -206,10 +206,10 @@ pub(crate) fn compile_from_text(hackc_opts: &mut crate::Opts, w: &mut impl Write
206206
Ok(())
207207
}
208208

209-
fn compile_impl<'d>(
209+
fn compile_impl(
210210
env: NativeEnv,
211211
source_text: Vec<u8>,
212-
decl_provider: Option<Arc<dyn DeclProvider<'d> + 'd>>,
212+
decl_provider: Option<Arc<dyn DeclProvider>>,
213213
) -> Result<Vec<u8>> {
214214
let text = SourceText::make(Arc::new(env.filepath.clone()), &source_text);
215215
let mut hhas = Vec::new();
@@ -241,7 +241,7 @@ pub(crate) fn test_decl_compile(hackc_opts: &mut crate::Opts, w: &mut impl Write
241241
let parsed_file =
242242
direct_decl_parser::parse_decls_for_bytecode(&decl_opts, filename, &source_text);
243243
#[allow(clippy::arc_with_non_send_sync)]
244-
let provider: Arc<SingleDeclProvider<'_, NReason>> =
244+
let provider: Arc<SingleDeclProvider<NReason>> =
245245
Arc::new(SingleDeclProvider::make(parsed_file.decls, hackc_opts)?);
246246
let env = hackc_opts.native_env(path)?;
247247
let hhas = compile_impl(env, source_text, Some(provider.clone()))?;
@@ -301,17 +301,16 @@ struct Access {
301301
}
302302

303303
#[derive(Debug)]
304-
struct SingleDeclProvider<'a, R: Reason> {
304+
struct SingleDeclProvider<R: Reason> {
305305
decls: DeclsHolder,
306306
shallow_decl_provider: Option<Arc<dyn ShallowDeclProvider<R>>>,
307307
type_requests: RefCell<Vec<Access>>,
308308
func_requests: RefCell<Vec<Access>>,
309309
const_requests: RefCell<Vec<Access>>,
310310
module_requests: RefCell<Vec<Access>>,
311-
_marker: std::marker::PhantomData<&'a ()>,
312311
}
313312

314-
impl<'a, R: Reason> DeclProvider<'a> for SingleDeclProvider<'a, R> {
313+
impl<R: Reason> DeclProvider for SingleDeclProvider<R> {
315314
fn type_decl(&self, symbol: &str, depth: u64) -> Result<TypeDecl, Error> {
316315
let decl = {
317316
let decl = self.find_decl(|decls| decl_provider::find_type_decl(decls, symbol));
@@ -428,7 +427,7 @@ fn make_naming_table_powered_shallow_decl_provider<R: Reason>(
428427
))
429428
}
430429

431-
impl<'a, R: Reason> SingleDeclProvider<'a, R> {
430+
impl<R: Reason> SingleDeclProvider<R> {
432431
fn make(decls: Decls, hackc_opts: &crate::Opts) -> Result<Self> {
433432
Ok(SingleDeclProvider {
434433
decls: match hackc_opts.use_serialized_decls {
@@ -448,7 +447,6 @@ impl<'a, R: Reason> SingleDeclProvider<'a, R> {
448447
func_requests: Default::default(),
449448
const_requests: Default::default(),
450449
module_requests: Default::default(),
451-
_marker: std::marker::PhantomData,
452450
})
453451
}
454452

hphp/hack/src/hackc/compile/closure_convert.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1477,8 +1477,8 @@ fn prepare_defs(defs: &mut [Def]) -> usize {
14771477
class_count as usize
14781478
}
14791479

1480-
pub fn convert_toplevel_prog<'d>(
1481-
e: &mut Emitter<'d>,
1480+
pub fn convert_toplevel_prog(
1481+
e: &mut Emitter,
14821482
defs: &mut Vec<Def>,
14831483
namespace_env: Arc<namespace_env::Env>,
14841484
) -> Result<()> {

hphp/hack/src/hackc/compile/compile.rs

Lines changed: 11 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -190,11 +190,11 @@ impl Profile {
190190
/// Compile Hack source code, write HHAS text to `writer`.
191191
/// Update `profile` with stats from any passes that run,
192192
/// even if the compiler ultimately returns Err.
193-
pub fn from_text<'d>(
193+
pub fn from_text(
194194
writer: &mut dyn std::io::Write,
195195
source_text: SourceText<'_>,
196196
native_env: &NativeEnv,
197-
decl_provider: Option<Arc<dyn DeclProvider<'d> + 'd>>,
197+
decl_provider: Option<Arc<dyn DeclProvider>>,
198198
profile: &mut Profile,
199199
) -> Result<()> {
200200
let mut emitter = create_emitter(native_env, decl_provider);
@@ -224,7 +224,7 @@ pub fn from_text<'d>(
224224
}
225225

226226
fn rewrite_and_emit<'p, 'd>(
227-
emitter: &mut Emitter<'d>,
227+
emitter: &mut Emitter,
228228
namespace_env: Arc<NamespaceEnv>,
229229
mut ast: ast::Program,
230230
profile: &'p mut Profile,
@@ -250,10 +250,10 @@ fn rewrite_and_emit<'p, 'd>(
250250
unit
251251
}
252252

253-
pub fn unit_from_text<'d>(
253+
pub fn unit_from_text(
254254
source_text: SourceText<'_>,
255255
native_env: &NativeEnv,
256-
decl_provider: Option<Arc<dyn DeclProvider<'d> + 'd>>,
256+
decl_provider: Option<Arc<dyn DeclProvider>>,
257257
profile: &mut Profile,
258258
) -> Result<Unit> {
259259
let opts = &elab::CodegenOpts {
@@ -263,10 +263,10 @@ pub fn unit_from_text<'d>(
263263
unit_from_text_with_opts(source_text, native_env, decl_provider, profile, opts)
264264
}
265265

266-
pub fn unit_from_text_with_opts<'d>(
266+
pub fn unit_from_text_with_opts(
267267
source_text: SourceText<'_>,
268268
native_env: &NativeEnv,
269-
decl_provider: Option<Arc<dyn DeclProvider<'d> + 'd>>,
269+
decl_provider: Option<Arc<dyn DeclProvider>>,
270270
profile: &mut Profile,
271271
opts: &elab::CodegenOpts,
272272
) -> Result<Unit> {
@@ -304,7 +304,7 @@ pub fn unit_to_string(
304304
Ok(())
305305
}
306306

307-
fn create_namespace_env(emitter: &Emitter<'_>) -> NamespaceEnv {
307+
fn create_namespace_env(emitter: &Emitter) -> NamespaceEnv {
308308
NamespaceEnv::empty(
309309
emitter.options().hhvm.aliased_namespaces_cloned().collect(),
310310
Mode::ForCodegen,
@@ -316,8 +316,8 @@ fn create_namespace_env(emitter: &Emitter<'_>) -> NamespaceEnv {
316316
)
317317
}
318318

319-
fn emit_unit_from_text<'d>(
320-
emitter: &mut Emitter<'d>,
319+
fn emit_unit_from_text(
320+
emitter: &mut Emitter,
321321
flags: &EnvFlags,
322322
source_text: SourceText<'_>,
323323
profile: &mut Profile,
@@ -597,10 +597,7 @@ fn emit_fatal(fatal_op: FatalOp, pos: Pos, msg: impl Into<String>) -> Result<Uni
597597
emit_unit::emit_fatal_unit(fatal_op, pos, msg)
598598
}
599599

600-
fn create_emitter<'d>(
601-
native_env: &NativeEnv,
602-
decl_provider: Option<Arc<dyn DeclProvider<'d> + 'd>>,
603-
) -> Emitter<'d> {
600+
fn create_emitter(native_env: &NativeEnv, decl_provider: Option<Arc<dyn DeclProvider>>) -> Emitter {
604601
Emitter::new(
605602
NativeEnv::to_options(native_env),
606603
native_env.flags.is_systemlib,

hphp/hack/src/hackc/compile/rewrite_program.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -60,8 +60,8 @@ fn debugger_eval_should_modify(tast: &[ast::Def]) -> Result<bool> {
6060
}
6161
}
6262

63-
pub fn rewrite_program<'d>(
64-
emitter: &mut Emitter<'d>,
63+
pub fn rewrite_program(
64+
emitter: &mut Emitter,
6565
prog: &mut ast::Program,
6666
namespace_env: Arc<namespace_env::Env>,
6767
) -> Result<()> {

hphp/hack/src/hackc/compile/rewrite_xml.rs

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -10,22 +10,22 @@ use oxidized::ast;
1010
use oxidized::ast_defs;
1111
use oxidized::pos::Pos;
1212

13-
struct RewriteXmlVisitor<'e, 'd> {
14-
phantom: std::marker::PhantomData<&'e &'d ()>,
13+
struct RewriteXmlVisitor<'e> {
14+
phantom: std::marker::PhantomData<&'e ()>,
1515
}
1616

17-
struct Ctx<'e, 'd> {
18-
emitter: &'e mut Emitter<'d>,
17+
struct Ctx<'e> {
18+
emitter: &'e mut Emitter,
1919
}
2020

21-
impl<'ast, 'e, 'd> VisitorMut<'ast> for RewriteXmlVisitor<'e, 'd> {
22-
type Params = AstParams<Ctx<'e, 'd>, Error>;
21+
impl<'ast, 'e> VisitorMut<'ast> for RewriteXmlVisitor<'e> {
22+
type Params = AstParams<Ctx<'e>, Error>;
2323

2424
fn object(&mut self) -> &mut dyn VisitorMut<'ast, Params = Self::Params> {
2525
self
2626
}
2727

28-
fn visit_expr(&mut self, c: &mut Ctx<'e, 'd>, e: &'ast mut ast::Expr) -> Result<()> {
28+
fn visit_expr(&mut self, c: &mut Ctx<'e>, e: &'ast mut ast::Expr) -> Result<()> {
2929
let ast::Expr(_, pos, expr) = e;
3030
let emitter = &mut c.emitter;
3131
if let ast::Expr_::Xml(cs) = expr {
@@ -36,7 +36,7 @@ impl<'ast, 'e, 'd> VisitorMut<'ast> for RewriteXmlVisitor<'e, 'd> {
3636
}
3737
}
3838

39-
pub fn rewrite_xml(emitter: &mut Emitter<'_>, prog: &mut ast::Program) -> Result<()> {
39+
pub fn rewrite_xml(emitter: &mut Emitter, prog: &mut ast::Program) -> Result<()> {
4040
let mut xml_visitor = RewriteXmlVisitor {
4141
phantom: std::marker::PhantomData,
4242
};
@@ -45,7 +45,7 @@ pub fn rewrite_xml(emitter: &mut Emitter<'_>, prog: &mut ast::Program) -> Result
4545
}
4646

4747
fn rewrite_xml_(
48-
e: &mut Emitter<'_>,
48+
e: &mut Emitter,
4949
pos: &Pos,
5050
(id, attributes, children): (ast::Sid, Vec<ast::XhpAttribute>, Vec<ast::Expr>),
5151
) -> Result<ast::Expr> {

hphp/hack/src/hackc/decl_provider/decl_provider.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -86,7 +86,7 @@ pub enum TypeDecl {
8686
///
8787
/// Further traversal into the type of Bar should it too be a type alias
8888
/// would be at a depth of two.
89-
pub trait DeclProvider<'d>: std::fmt::Debug {
89+
pub trait DeclProvider: std::fmt::Debug {
9090
/// Get a decl for the given type name and depth.
9191
/// * `symbol` - the name of the symbol being requested
9292
/// * `depth` - a hint to the provider about the number of layers of decl

hphp/hack/src/hackc/decl_provider/memo_provider.rs

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -17,16 +17,16 @@ use crate::Result;
1717
use crate::TypeDecl;
1818

1919
/// A DeclProvider that memoizes results of previous queries.
20-
pub struct MemoProvider<'d> {
21-
next: Arc<dyn DeclProvider<'d> + 'd>,
20+
pub struct MemoProvider {
21+
next: Arc<dyn DeclProvider>,
2222
types: RefCell<HashMap<String, TypeDecl>>,
2323
funcs: RefCell<HashMap<String, FunDecl>>,
2424
consts: RefCell<HashMap<String, ConstDecl>>,
2525
modules: RefCell<HashMap<String, ModuleDecl>>,
2626
}
2727

28-
impl<'d> MemoProvider<'d> {
29-
pub fn new(next: Arc<dyn DeclProvider<'d> + 'd>) -> Self {
28+
impl MemoProvider {
29+
pub fn new(next: Arc<dyn DeclProvider>) -> Self {
3030
Self {
3131
next,
3232
types: Default::default(),
@@ -53,7 +53,7 @@ impl<'d> MemoProvider<'d> {
5353
}
5454
}
5555

56-
impl<'d> DeclProvider<'d> for MemoProvider<'d> {
56+
impl DeclProvider for MemoProvider {
5757
fn type_decl(&self, symbol: &str, depth: u64) -> Result<TypeDecl> {
5858
Self::fetch_or_insert(&self.types, symbol, || self.next.type_decl(symbol, depth))
5959
}
@@ -71,7 +71,7 @@ impl<'d> DeclProvider<'d> for MemoProvider<'d> {
7171
}
7272
}
7373

74-
impl<'d> std::fmt::Debug for MemoProvider<'d> {
74+
impl std::fmt::Debug for MemoProvider {
7575
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
7676
self.next.fmt(f)
7777
}

hphp/hack/src/hackc/decl_provider/self_provider.rs

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -24,14 +24,14 @@ use crate::TypeDecl;
2424
///
2525
/// Useful when the file under compilation is not indexed by the HHVM autoloader
2626
/// or similar circumstances.
27-
pub struct SelfProvider<'d> {
28-
fallback_decl_provider: Option<Arc<dyn DeclProvider<'d> + 'd>>,
27+
pub struct SelfProvider {
28+
fallback_decl_provider: Option<Arc<dyn DeclProvider>>,
2929
decls: Decls,
3030
}
3131

32-
impl<'d> SelfProvider<'d> {
32+
impl SelfProvider {
3333
pub fn new(
34-
fallback_decl_provider: Option<Arc<dyn DeclProvider<'d> + 'd>>,
34+
fallback_decl_provider: Option<Arc<dyn DeclProvider>>,
3535
decl_opts: DeclParserOptions,
3636
source_text: SourceText<'_>,
3737
) -> Self {
@@ -52,25 +52,25 @@ impl<'d> SelfProvider<'d> {
5252
/// When decls are turned on everywhere by default and it is no longer optional
5353
/// this can simply return a nonoption decl provider
5454
pub fn wrap_existing_provider(
55-
fallback_decl_provider: Option<Arc<dyn DeclProvider<'d> + 'd>>,
55+
fallback_decl_provider: Option<Arc<dyn DeclProvider>>,
5656
decl_opts: DeclParserOptions,
5757
source_text: SourceText<'_>,
58-
) -> Option<Arc<dyn DeclProvider<'d> + 'd>> {
58+
) -> Option<Arc<dyn DeclProvider>> {
5959
if fallback_decl_provider.is_none() {
6060
None
6161
} else {
6262
Some(Arc::new(SelfProvider::new(
6363
fallback_decl_provider,
6464
decl_opts,
6565
source_text,
66-
)) as Arc<dyn DeclProvider<'d> + 'd>)
66+
)) as Arc<dyn DeclProvider>)
6767
}
6868
}
6969

7070
fn result_or_else<T>(
7171
&self,
7272
decl: Result<T>,
73-
get_fallback_decl: impl Fn(&Arc<dyn DeclProvider<'d> + 'd>) -> Result<T>,
73+
get_fallback_decl: impl Fn(&Arc<dyn DeclProvider>) -> Result<T>,
7474
) -> Result<T> {
7575
decl.or_else(|_| {
7676
self.fallback_decl_provider
@@ -80,7 +80,7 @@ impl<'d> SelfProvider<'d> {
8080
}
8181
}
8282

83-
impl<'d> DeclProvider<'d> for SelfProvider<'d> {
83+
impl DeclProvider for SelfProvider {
8484
fn type_decl(&self, symbol: &str, depth: u64) -> Result<TypeDecl> {
8585
self.result_or_else(crate::find_type_decl(&self.decls, symbol), |provider| {
8686
provider.type_decl(symbol, depth)
@@ -106,7 +106,7 @@ impl<'d> DeclProvider<'d> for SelfProvider<'d> {
106106
}
107107
}
108108

109-
impl<'d> std::fmt::Debug for SelfProvider<'d> {
109+
impl std::fmt::Debug for SelfProvider {
110110
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
111111
if let Some(p) = &self.fallback_decl_provider {
112112
write!(f, "SelfProvider({:?})", p)

hphp/hack/src/hackc/emitter/class_expr.rs

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ pub enum ClassExpr {
2626

2727
impl ClassExpr {
2828
fn get_original_class_name(
29-
emitter: &Emitter<'_>,
29+
emitter: &Emitter,
3030
scope: &Scope<'_>,
3131
check_traits: bool,
3232
resolve_self: bool,
@@ -60,7 +60,7 @@ impl ClassExpr {
6060
}
6161

6262
fn get_original_parent_class_name(
63-
emitter: &Emitter<'_>,
63+
emitter: &Emitter,
6464
scope: &Scope<'_>,
6565
check_traits: bool,
6666
resolve_self: bool,
@@ -86,7 +86,7 @@ impl ClassExpr {
8686
}
8787

8888
pub fn expr_to_class_expr(
89-
emitter: &Emitter<'_>,
89+
emitter: &Emitter,
9090
scope: &Scope<'_>,
9191
check_traits: bool,
9292
resolve_self: bool,
@@ -123,8 +123,8 @@ impl ClassExpr {
123123
}
124124
}
125125

126-
pub fn class_id_to_class_expr<'a, 'd>(
127-
emitter: &Emitter<'d>,
126+
pub fn class_id_to_class_expr<'a>(
127+
emitter: &Emitter,
128128
scope: &Scope<'a>,
129129
check_traits: bool,
130130
resolve_self: bool,

0 commit comments

Comments
 (0)