language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-26 13:29:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Remove unused OpportunisticResolve field

Browse source
This commit is contained in:
Ayaz Hafiz 2022-07-26 13:27:59 -04:00
parent 31220d5598
commit 4049eb6780
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
3 changed files with 0 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

1
crates/compiler/can/src/constraint.rs
View file

@ -713,7 +713,6 @@ pub struct PatternEq(
pub struct OpportunisticResolve { pub struct OpportunisticResolve {
/// The specialized type of this lookup, to try to resolve. /// The specialized type of this lookup, to try to resolve.
pub specialization_variable: Variable, pub specialization_variable: Variable,
pub specialization_expectation: Index<Expected<Type>>,
/// The ability member to try to resolve. /// The ability member to try to resolve.
pub member: Symbol, pub member: Symbol,

3
crates/compiler/constrain/src/expr.rs
View file

@ -439,9 +439,6 @@ pub fn constrain_expr(
if let Some(specialization_id) = specialization_id { if let Some(specialization_id) = specialization_id {
env.resolutions_to_make.push(OpportunisticResolve { env.resolutions_to_make.push(OpportunisticResolve {
specialization_variable: specialization_var, specialization_variable: specialization_var,
specialization_expectation: constraints.push_expected_type(
Expected::NoExpectation(Type::Variable(specialization_var)),
),
member: symbol, member: symbol,
specialization_id, specialization_id,
}); });

2
crates/compiler/solve/src/solve.rs
View file

@ -1530,8 +1530,6 @@ fn solve(
} }
&Resolve(OpportunisticResolve { &Resolve(OpportunisticResolve {
specialization_variable, specialization_variable,
// TODO: remove me
specialization_expectation: _,
member, member,
specialization_id, specialization_id,
}) => { }) => {