InferredType (Python :: Frontend 3.12.0.9583 API)

All Known Implementing Classes:

DeclaredType
```
@Beta
public interface InferredType
```

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`boolean`	`canBeOrExtend(String typeName)`
`boolean`	`canHaveMember(String memberName)`
`boolean`	`canOnlyBe(String typeName)`
`boolean`	`declaresMember(String memberName)`	Used to handle uncertainty of declared types.
`boolean`	`isCompatibleWith(InferredType other)`
`boolean`	`isIdentityComparableWith(InferredType other)`
`boolean`	`mustBeOrExtend(String typeName)`	mustBeOrExtend implies we know for sure the given type is either of the given typeName or a subtype of it.
`Optional<Symbol>`	`resolveDeclaredMember(String memberName)`
`Optional<Symbol>`	`resolveMember(String memberName)`

- Method Detail
  - isIdentityComparableWith
```
@Beta
boolean isIdentityComparableWith(InferredType other)
```
  - canHaveMember
```
@Beta
boolean canHaveMember(String memberName)
```
  - declaresMember
```
@Beta
boolean declaresMember(String memberName)
```
    Used to handle uncertainty of declared types. It return false when a member is not present in a declared type, while canHaveMember returns true because one of its subtype may have it.
  - resolveMember
```
@Beta
Optional<Symbol> resolveMember(String memberName)
```
  - resolveDeclaredMember
```
@Beta
Optional<Symbol> resolveDeclaredMember(String memberName)
```
  - canOnlyBe
```
@Beta
boolean canOnlyBe(String typeName)
```
  - canBeOrExtend
```
@Beta
boolean canBeOrExtend(String typeName)
```
  - isCompatibleWith
```
@Beta
boolean isCompatibleWith(InferredType other)
```
  - mustBeOrExtend
```
@Beta
boolean mustBeOrExtend(String typeName)
```
    mustBeOrExtend implies we know for sure the given type is either of the given typeName or a subtype of it. As opposed to "canBeOrExtend", this will return true only when we are sure the subtyping relationship is present. For types inferred from type annotations (DeclaredType), the actual underlying type might be different from what has been declared, but it must be or extend the declared type.