Function force_default 

pub fn force_default(cx: &mut Cx, value: Value, demand: Demand) -> Result<Value>

Forces value to satisfy demand using the kernel’s default rules.

This is the reference force implementation: it unwraps thunks, coerces to expression or boolean forms, and checks class membership as the Demand requires. The standard eval policies delegate to it; libraries may reuse or replace it.