KotlinIsland / KotlinIsland/basedtyping

`cast` should perform a runtime check

Open
#3 0 comments 0 reactions 0 assignees View on GitHub
runtime
Dominant language
Python
Stars
12
Forks
2
PR merge metrics
No merged PRs in 30d

Description

```py
cast("1", int) # expect an TypeError
cast("1", int, nocheck=True) # expect no error
```

Contributor guide

No contributing guide indexed for this repository

Research direction

Locate the implementation of cast and reproduce the two examples from the issue. Verify that cast("1", int) raises TypeError while the nocheck=True form does not; the work is done when both behaviors are covered by the project's existing tests.

Written by the indexing model from the issue text.

Assessment

Tech stack
python
Domain
tooling
Issue type
Feature
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
48/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.