Skip to content

Commit d267a40

Browse files
committed
Remove unused FnDefFlag structs
1 parent 7856f3f commit d267a40

File tree

4 files changed

+0
-13
lines changed

4 files changed

+0
-13
lines changed

chalk-integration/src/lowering.rs

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -940,12 +940,9 @@ impl LowerFnDefn for FnDefn {
940940
})
941941
})?;
942942

943-
let flags = rust_ir::FnDefFlags {};
944-
945943
Ok(rust_ir::FnDefDatum {
946944
id: fn_def_id,
947945
binders,
948-
flags,
949946
})
950947
}
951948
}

chalk-parse/src/ast.rs

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -50,12 +50,8 @@ pub struct FnDefn {
5050
pub where_clauses: Vec<QuantifiedWhereClause>,
5151
pub argument_types: Vec<Ty>,
5252
pub return_type: Ty,
53-
pub flags: FnDefFlags,
5453
}
5554

56-
#[derive(Clone, PartialEq, Eq, Debug)]
57-
pub struct FnDefFlags {}
58-
5955
#[derive(Clone, PartialEq, Eq, Debug)]
6056
pub struct TraitDefn {
6157
pub name: Identifier,

chalk-parse/src/parser.lalrpop

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -81,8 +81,6 @@ FnDefn: FnDefn = {
8181
where_clauses: w,
8282
argument_types: args,
8383
return_type: ret_ty.unwrap_or_else(|| Ty::Tuple { types: Vec::new() }),
84-
flags: FnDefFlags {
85-
},
8684
}
8785
};
8886

chalk-rust-ir/src/lib.rs

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -107,7 +107,6 @@ pub struct AdtFlags {
107107
pub struct FnDefDatum<I: Interner> {
108108
pub id: FnDefId<I>,
109109
pub binders: Binders<FnDefDatumBound<I>>,
110-
pub flags: FnDefFlags,
111110
}
112111

113112
#[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner)]
@@ -117,9 +116,6 @@ pub struct FnDefDatumBound<I: Interner> {
117116
pub where_clauses: Vec<QuantifiedWhereClause<I>>,
118117
}
119118

120-
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
121-
pub struct FnDefFlags {}
122-
123119
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
124120
/// A rust intermediate representation (rust_ir) of a Trait Definition. For
125121
/// example, given the following rust code:

0 commit comments

Comments
 (0)