Commit e2c8be7
fix: specify exact init/1 argument pattern in runtime specs
Make init/1 specs more specific to match Dialyzer's success typing:
- Changed from generic keyword() to specific pattern
[{:component_base, Path.t()} | {:render_timeout, timeout()}, ...]
- This matches the actual function head pattern matching
Resolves final Dialyzer "invalid_contract" warnings.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
Co-Authored-By: Claude <[email protected]>1 parent cb2e297 commit e2c8be7
2 files changed
+2
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
74 | 74 | | |
75 | 75 | | |
76 | 76 | | |
77 | | - | |
| 77 | + | |
78 | 78 | | |
79 | 79 | | |
80 | 80 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
93 | 93 | | |
94 | 94 | | |
95 | 95 | | |
96 | | - | |
| 96 | + | |
97 | 97 | | |
98 | 98 | | |
99 | 99 | | |
| |||
0 commit comments