fn propagatable_scalar( place: PlaceIndex, state: &State<FlatSet<Scalar>>, map: &Map<'_>, ) -> Option<Scalar>