Infinitesimal stroked bezier fills whole tile

[dominikh]

The scene

let mut scene = Scene::new();
let mut p: BezPath = BezPath::default();
p.move_to((399.997, 400.0002));
p.quad_to((399.998, 400.0002), (400., 400.));
scene.stroke(
    &Stroke::default(),
    Affine::IDENTITY,
    Color::rgb(1., 0., 0.),
    None,
    &p,
);

renders as a solid square

This seems very sensitive to the coordinates, and many translations of the coordinates don't reproduce the issue. The same issue reproduces with a cubic bezier, with the point (400., 400.) repeated.

[raphlinus]

It's very likely this is another manifestation of #644 (edit: I meant #616), which I believe is a watertightness issue in the expanded stroke outlines. It's in my queue to look at.

[raphlinus]

I'm not able to repro directly (or #616 either) from the given example, but I do see an artifact with the following:

        let mut p: BezPath = BezPath::default();
        p.move_to((399.997, 400.0002));
        p.quad_to((399.998, 400.0002), (400., 400.));
        p.line_to((390., 390.));
        let a = Affine::translate((31.90625, 23.98875));
        scene.stroke(
            &Stroke::new(2.0).with_caps(Cap::Butt),
            a,
            Color::WHITE,
            None,
            &p,
        );

It definitely appears to be a watertightness bug, and I suspect it's the same underlying issue. I should be able to track it down now that I've got a repro.

Curious why the variation in reproducibility, but we'll most likely get to that when we have a proposed fix.

[DJMcNab]

I suspect the difference could be a fast-math issue.

That's my general heuristic to explain if something is different on Mac :P

[raphlinus]

I have a tentative analysis and proposed fix for this particular case. Basically the tangent computed for the start cap is not bit-identical to the tangent for the parallel curves (even though mathematically it's the same). Change line 847 of flatten.rs from:

                    let tangent = cubic_start_tangent(pts.p0, pts.p1, pts.p2, pts.p3);

to

                    let tangent = pts.p3 - pts.p0;

I'm not sure this fixes everything (still investigating), but did want to send an update.