Skip to content

Inferred type is not checked agains ascription #915

New issue
New issue
Open
#935
Open
Inferred type is not checked agains ascription#915
#935
Labels
A-frontendArea: ErgoScript compiler (source -> ErgoTree)Bounty - 500 SigUSDC-bugCategory: This is a bug
Milestone
v5.x
@aslesarenko

Description

@aslesarenko
aslesarenko
opened on Sep 1, 2023

The following code produces ErgoTree where price: BigInt, whereas it should fails with type error.

val price: Long  = ((reserveIn.toBigInt * precisionFactor) / hodlCoinsCircIn)

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-frontendArea: ErgoScript compiler (source -> ErgoTree)Bounty - 500 SigUSDC-bugCategory: This is a bug

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions