Function lacks_docblock_override

src/inheritance.rs:105–117

Whether a child's effective type equals its native type, meaning no docblock override was applied. Returns `true` when the child wrote no `@return` / `@var` / `@param` tag (so the effective type is just the native hint). Returns `false` when the child provided its own docblock type — in that case the child's type is an intentional override and should not be replaced.

(effective: &Option<PhpType>, native: &Option<PhpType>)

/// when the child provided its own docblock type — in that case the
/// child's type is an intentional override and should not be replaced.
fn lacks_docblock_override(effective: &Option<PhpType>, native: &Option<PhpType>) -> bool {
    match (effective, native) {
        // No effective type at all — nothing to override.
        (None, _) => true,
        // Effective type present but no native type — the child wrote
        // a docblock-only type (e.g. `@return list<Pen>` with no native
        // hint).  That is an intentional override.
        (Some(_), None) => false,
        // Both present — if they are equivalent, the child didn't write
        // a docblock (the effective type is just the native hint echoed).
        (Some(eff), Some(nat)) => eff.equivalent(nat),
    }
}

/// Whether an ancestor's type is richer than the child's native type.
///