Block datetime from being used where date is expected with optional safe-datetime check#1

Draft

Copilot wants to merge 13 commits intomasterfrom

copilot/implement-type-checking-enhancement

Commits on Dec 19, 2025

Initial plan
Copilot
committed
Implement unsafe subtype checking for datetime/date comparisons

Copilot
and
m-aciek
committed
Fix docstring indentation and line continuation style

Copilot
and
m-aciek
committed
Flag date vs date comparisons as unsafe when datetime subclass exists

Copilot
and
m-aciek
committed
Add detailed documentation for supertype comparison checking

Copilot
and
m-aciek
committed
Block datetime/date inheritance when unsafe-subtype is enabled

Copilot
and
m-aciek
committed
Move errorcodes import to module level for performance

Copilot
and
m-aciek
committed

Commits on Dec 26, 2025

Add sub-codes for fine-grained control of unsafe-subtype checks

Copilot
and
m-aciek
committed

Commits on Jan 21, 2026

Refactor to focus on datetime/date only with safe-datetime error code

Copilot
and
m-aciek
committed