Add cold annotations

Author: x-hgg-x

src/internal/core.rs

@@ -70,6 +70,7 @@ impl<DP: DependencyProvider> State<DP> {
     }
 
     /// Add an incompatibility to the state.
+    #[cold]
     pub(crate) fn add_incompatibility_from_dependencies(
         &mut self,
         package_id: PackageId,
@@ -91,6 +92,7 @@ impl<DP: DependencyProvider> State<DP> {
 
     /// Unit propagation is the core mechanism of the solving algorithm.
     /// CF <https://github.com/dart-lang/pub/blob/master/doc/solver.md#unit-propagation>
+    #[cold]
     pub(crate) fn unit_propagation(
         &mut self,
         package_id: PackageId,
@@ -170,6 +172,7 @@ impl<DP: DependencyProvider> State<DP> {
 
     /// Return the root cause or the terminal incompatibility.
     /// CF <https://github.com/dart-lang/pub/blob/master/doc/solver.md#unit-propagation>
+    #[cold]
     fn conflict_resolution(
         &mut self,
         incompatibility: IncompDpId<DP>,

src/internal/partial_solution.rs

@@ -285,6 +285,7 @@ impl<DP: DependencyProvider> PartialSolution<DP> {
         }
     }
 
+    #[cold]
     pub(crate) fn pick_highest_priority_pkg(
         &mut self,
         mut prioritizer: impl FnMut(PackageId, VersionSet) -> DP::Priority,

src/solver.rs

@@ -67,6 +67,7 @@ use crate::{
 
 /// Main function of the library.
 /// Finds a set of packages satisfying dependency bounds for a given package + version pair.
+#[cold]
 pub fn resolve<DP: DependencyProvider>(
     dependency_provider: &mut DP,
     package: DP::P,