- // Compare types now that bound regions have been replaced.
- let result = self.sub(sub_is_expected).relate(sub_prime, sup_prime)?;
-
- debug!("higher_ranked_sub: OK result={result:?}");
- // NOTE: returning the result here would be dangerous as it contains
- // placeholders which **must not** be named afterwards.
- Ok(())
- })
+ debug!("OK result={result:?}");
+ // NOTE: returning the result here would be dangerous as it contains
+ // placeholders which **must not** be named afterwards.
+ Ok(())